util.stack
Adds a list of assertions to the current top level assertion set.
Adds an assertion to the current top level assertion set.
Name of the solver (used in debug prints).
Pops all the stack and restores the solvers initial state.