pub fn try_(t: Tactic) -> Tactic
try t: run t if it applies, otherwise leave the state unchanged. Always succeeds.
try t
t