Tactic failIf(Probe p) { final result = _c._z3.tactic_fail_if(p._probe); return _c._getTactic(result); }