fail

fail

Synopsis:

fail

Pre-conditions:

None.

Action:

This tactic always fail.

New sequents to prove:

N.A.