util.stack.immutable
Companion object (allows to create instances of the trait given a particular proxy object, defaults to the UnitSolverProxy[BoolExpr].
Returns a new AssertionStack[BoolExpr] with an empty level at the bottom.
Companion object (allows to create instances of the trait given a particular proxy object, defaults to the UnitSolverProxy[BoolExpr].