atisfied in the system given by primes.


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

    Returns
    -------
    dictionary
        Nodes that are fixed everywhere in the rspace L. Returns {&#39;0&#39;:1} if L is
        a self-contradictory.

    &#34;&#34;&#34;
    fL = [r[0] for r in L if len(r)==1]

    fd = {}
    for d in fL:
        for k,v in d.ite