cleaned EquivalenceMap and prepared it to be merged into TBoxReasoner