Bugfix: isomorphism check was not strict enough

Some non-isomorphic graphs were erroneously considered to be isomorphic. It could
happen that two different nodes were not compared as they've already been marked as
visited by some other comparisons. With this commit, nodes are compared with every
visit.
{nit} what's this comment about