def alpha(concept_domain, state, cache=None):
    """
    Right now, state is just a plain formula

    This is a *very* unoptimized implementation
    """
    if z3_implies(state, Or()):
        return [(tag, True) for tag, formula in concept_domain.get_facts()]

    if cache is None:
        cache = dict()
    facts = concept_domain.get_facts()
    result = []
    for tag, formula in facts:
        if cache in tag:
            value = cache[tag]
        else:
            # assert len(cache) == 0, tag
            value = z3_implies(state, formula)
        result.append((tag, value))
    return result
dataset/ETHPy150Open Microsoft/ivy/ivy/concept_alpha.py/alpha/swapped operands of `in`