added AST constructor functions to smtlib2