Added TestTestInverses which highlights that there is an error in the findInverse function from TestInverses. It appears that the sameDiagram method (of ADT) is working.