Adding support for collapsing all symbols in a solver (solver.concretise())