The tactic ctx-solver-simplify is a much stronger, and more expensive simplification scheme. It tends to fail on treenodes :( Currently, the error is vague and when it occurs, just resort to the basic simplify call
Source from the content-addressed store, hash-verified