Tactic cond(Tactic otherwise, Probe p) { final result = _c._z3.tactic_cond( p._probe, _tactic, otherwise._tactic, ); return _c._getTactic(result); }