fix(library/tactic/inversion_tactic): complete 'deletion' transition
fix(library/tactic/inversion_tactic): complete 'deletion' transition