def _turbo_isomorphic(q, g, check_varprops=True):
    """
    Query Xmrs q is isomorphic to given Xmrs g if there exists an
    isomorphism (bijection of eps and vars) from q to g.
    """
    # 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
def _turbo_isomorphic ( q , g , check_varprops = True ) : if len ( q . eps ( ) ) != len ( g . eps ( ) ) : return False if len ( q . variables ( ) ) != len ( g . variables ( ) ) : return False try : next ( _isomorphisms ( q , g , check_varprops = check_varprops ) ) return True except StopIteration : return False
Query Xmrs q is isomorphic to given Xmrs g if there exists an
    isomorphism (bijection of eps and vars) from q to g.