tactic.mk_inj_eq source