fail method

Tactic fail()

Implementation

Tactic fail() {
  final result = _c._z3.tactic_fail();
  return _c._getTactic(result);
}