fix(library/tactic/intros_tactic): seg fault at intros tactic, fixes #366
fix(library/tactic/intros_tactic): seg fault at intros tactic, fixes #366