void addRule(AST rule, Z3_symbol name) { _c._z3.fixedpoint_add_rule(_fp, _c._createAST(rule), name); }