he left).

    Parameters
    ----------
    L : rspace list
        Restrict space list (see restrict_space.rspace for details).
    primes : pyboolnet primes dictionary
        Update rule for the system.

    Returns
    -------
    L2 : rspace list
        Reduced restrict space list (see restrict_space.rspace for details).

    &#34;&#34;&#34;
    fixed = fixed_rspace_nodes(L,primes)
    L2 = [[fixed]]
    for clause in L:
        sat = False
        for p in clause:
            if sm_doi.fixed_implies