Define Forall2_nth_error
Use Forall2_nth_error