discrimination tree uses imperative cache of max depth

[gares]

This plays badly with the determinacy checker that uses the index to check for overlapping clauses, i.e. adds the local ones temporarily, but that has a persistent effect.

This also affects the runtime in case on large local clause is loaded