code: def _turbo_isomorphic(q, g, check_varprops=True):
      
      # first some quick checks
      if len(q.eps()) != len(g.eps()): return False
      if len(q.variables()) != len(g.variables()): return False
      #if len(a.hcons()) != len(b.hcons()): return False
      try:
          next(_isomorphisms(q, g, check_varprops=check_varprops))
          return True
      except StopIteration:
          return False
docs: Query Xmrs q is isomorphic to given Xmrs g if there exists an
      isomorphism (bijection of eps and vars) from q to g.