Issue8 seems to be resolved. Note, that testing for correct output is not straightforward here; we should be able to test the isomorphism