fix(library/tactic/inversion_tactic): uninitialized variable
fix(library/tactic/inversion_tactic): uninitialized variable