Define new tactic: Forall2_trans
Oops
Clean up by using Forall2_trans