tactic.sorry_if_contains_sorry source