tactic.find_assumption source