Added auxiliary expression traversal data structure to congruence.hpp