SC (LCons Int)]
runCons = callFresh
            (\x -> disj (x === LVal (fromList [2])) (x === LVal empty))
            emptyS

runCons ∷ [SC (LCons Int)]
runCons = callFresh
            (\x -> disj (x === LVal (fromList [2])) (x === LVal empty))
            emptyS
runCons = callFresh
            (\x -> disj (x === LVal (fromList [2])) (x === LVal empty))
            emptyS