consumeMacro

protected open override fun consumeMacro(outerSnapshot: SolverStateSnapshot)(source)