Problem.sanitise cleans also start-terms
Precedence takes equivalences in computation of recursion-depth into account