createVars i (s : ss) = var : ts
      where var = newVarIndex i s
            ts = createVars (i + 1) ss

-- | computes the set of components from the map of operators
createVars i (s : ss) = var : ts
      where var = newVarIndex i s
            ts = createVars (i + 1) ss

-- | computes the set of components from the map of operators
createVars i (s : ss) = var : ts
      where var = newVarIndex i s
            ts = createVars (i + 1) ss

-- | computes the set of components from the map of operators