Added another test to isomorphic verification