all terms are now being added to term map, but bug still exists in congruence checking