skip method

Tactic skip()

Implementation

Tactic skip() {
  final result = _c._z3.tactic_skip();
  return _c._getTactic(result);
}