lilleJonas

where
        aandb = (trace "aandb" (findAB di fi))  -- Step a
        nextTi = (trace "nextTi" (makeBranch aandb)) -- Step b
        nextFi = (trace "nextFi" (newFi aandb nextTi di fi)) -- Step c                     --PRINT fi
        nextDi = (trace "nextDi" (newDi aandb nextTi di fi)) -- Sted d                    --PRINT di