imes)
        if len(contradicted) &gt; 0:
            L.append([{n:int(not v)} for n,v in gs.items()])

    # If the tr system gave us information, but we couldn&#39;t find any 1-node sm
    # drivers, we need to remove the null condition given by the inability to
    # find the sm drivers
    # if L[0]==[{}] and len(L) &gt; 0:
    #     L = L[1:]

    return L

def fixed_rspace_nodes(L,primes):
    &#34;&#34;&#34;Finds the nodes that must have a fixed value in order for the rspace
    constraint L to be s