def sanity_check(vars, cons):
    """ Check all variables participate in some constraint """
    v_con = []
    for c in cons:
        for x in cons[c]['scope']:
            if x not in v_con:
               v_con.append(x)
    for v in vars:
        if v not in v_con:
            return False
    return True