// Use a new block for each assertion to remove redundant declarations after each
// "(check-sat)"
// Should help to prevent exponential bloating
// Each block automatically outputs a "(push 1)" and "(pop 1)" statement when being written
// out
block = new Block();
// Clear the list of defined functions
functions.clear();
// Push an extra conditions list onto the stack