removed static in methods for TMapping
Changed tmapping not to consider inverse between the equivalences
Fixed issue with concurrent modification in TMapping
Added a test for TMapping