def same_status(q1, D1, q2, D2):
    """Helper for h_langeq_dfa
       Check if q1,q2 are both accepting
       or both non-accepting wrt D1,D2 resply.
    """
    return (q1 in D1["F"]) == (q2 in D2["F"])