Tactic andThen(Tactic other) { final result = _c._z3.tactic_and_then(_tactic, other._tactic); return _c._getTactic(result); }