bool query(AST query) { final result = _c._z3.fixedpoint_query(_fp, _c._createAST(query)); return _c._bool(result); }