[m-rev.] for post-commit review: check for terms containing distinct vars in one place

[Zoltan Somogyi]

Note that the text of tests/invalidtypeclass_constraint_extra_var.err_exp
may provide a basis for documenting this point.

Zoltan.