We have effectively pushed the isomorphism testing of previous exhaustive
methods into IsomorphicExtensions, which allows the isomorphism test to
abort early. The ability to abort early when finding instances of a particular
query graph presents significant savings over previous methods