efeslab/ER

Can additonal recording simplify symbolic constraints?

C++NOASSERTION