AST simplify(AST ast, [Params? params]) { if (params == null) { return _getAST(_z3.simplify(_createAST(ast))); } else { return _getAST(_z3.simplify_ex(_createAST(ast), params._params)); } }