Added a test of equivalence between IMTs