symbolic :: SequFlowGraph -> Envs NoRecord EqTerm
symbolic g = mapEqTermEnv (setEqTerms (emptyEnv { dxMap = dx1eq })) res
  where

        envs0 = emptyEnv { recordNumber = SingleRecord rec0,
                           powerMap = power0eq,
                           dtimeMap = dtimes0eq,
                           xMap = x0eq,
                           fetaMap = eta0eq }

        envs1 = emptyEnv { recordNumber = SingleRecord rec1,
                           powerMap = power1eq,
                           dpowerMap = dpower1eq,
                           fetaMap = eta1eq,
                           detaMap = deta1eq,
                           xMap = x1eq,
                           dxMap = dx1eq,
                           dtimeMap = dtimes1eq }

        ts0 = snd $ makeAllEquations g [envs0]
        ts1 = snd $ makeAllEquations g [envs1]

        ts0o = order ts0
        ts1o = order ts1
        difftseq = mkDiffEqTermEquations rec0 ts1o

        ts =
           toAbsEquations $ order $ map assignToEquation $
           ts0o ++ ts1o ++ difftseq
        res = interpretEqTermFromScratch ts
symbolic :: SequFlowGraph -> Envs NoRecord EqTerm
symbolic g = mapEqTermEnv (setEqTerms (emptyEnv { dxMap = dx1eq })) res
  where

        envs0 = emptyEnv { recordNumber = SingleRecord rec0,
                           powerMap = power0eq,
                           dtimeMap = dtimes0eq,
                           xMap = x0eq,
                           fetaMap = eta0eq }

        envs1 = emptyEnv { recordNumber = SingleRecord rec1,
                           powerMap = power1eq,
                           dpowerMap = dpower1eq,
                           fetaMap = eta1eq,
                           detaMap = deta1eq,
                           xMap = x1eq,
                           dxMap = dx1eq,
                           dtimeMap = dtimes1eq }

        ts0 = snd $ makeAllEquations g [envs0]
        ts1 = snd $ makeAllEquations g [envs1]

        ts0o = order ts0
        ts1o = order ts1
        difftseq = mkDiffEqTermEquations rec0 ts1o

        ts =
           toAbsEquations $ order $ map assignToEquation $
           ts0o ++ ts1o ++ difftseq
        res = interpretEqTermFromScratch ts
symbolic g = mapEqTermEnv (setEqTerms (emptyEnv { dxMap = dx1eq })) res
  where

        envs0 = emptyEnv { recordNumber = SingleRecord rec0,
                           powerMap = power0eq,
                           dtimeMap = dtimes0eq,
                           xMap = x0eq,
                           fetaMap = eta0eq }

        envs1 = emptyEnv { recordNumber = SingleRecord rec1,
                           powerMap = power1eq,
                           dpowerMap = dpower1eq,
                           fetaMap = eta1eq,
                           detaMap = deta1eq,
                           xMap = x1eq,
                           dxMap = dx1eq,
                           dtimeMap = dtimes1eq }

        ts0 = snd $ makeAllEquations g [envs0]
        ts1 = snd $ makeAllEquations g [envs1]

        ts0o = order ts0
        ts1o = order ts1
        difftseq = mkDiffEqTermEquations rec0 ts1o

        ts =
           toAbsEquations $ order $ map assignToEquation $
           ts0o ++ ts1o ++ difftseq
        res = interpretEqTermFromScratch ts