- applySubstFam, applySubstVarVar & applySubstVarFam need to return their 
  second argument -to be put into the todo list- if the rule would be 
  applicable if the equalities would be supplied in the opposite order.

MERGE TO 6.10