equality between Reasoners and between ClifModules defined