additiveTrsToAliasedTrs :: Signature -> [Rule] -> [Rule]
additiveTrsToAliasedTrs sig rules = concatMap transform rules
  where transform (Rule lhs rhs) = map (flip Rule rhs) (expand lhs)
        expand = minimize sig . preMinimize . S.toList . removePlusses
additiveTrsToAliasedTrs :: Signature -> [Rule] -> [Rule]
additiveTrsToAliasedTrs sig rules = concatMap transform rules
  where transform (Rule lhs rhs) = map (flip Rule rhs) (expand lhs)
        expand = minimize sig . preMinimize . S.toList . removePlusses
additiveTrsToAliasedTrs sig rules = concatMap transform rules
  where transform (Rule lhs rhs) = map (flip Rule rhs) (expand lhs)
        expand = minimize sig . preMinimize . S.toList . removePlusses