getSymConsts :: Visitable t => t -> [SymConst]
getSymConsts         = fold scVis () []
  where
    scVis            = defaultVisitor { accExpr = sc }
    sc _ (ESym c)    = [c]
    sc _ _           = []


{-

instance SymConsts (SimpC a) where
  symConsts c  = symConsts (crhs c)

-}
getSymConsts :: Visitable t => t -> [SymConst]
getSymConsts         = fold scVis () []
  where
    scVis            = defaultVisitor { accExpr = sc }
    sc _ (ESym c)    = [c]
    sc _ _           = []


{-

instance SymConsts (SimpC a) where
  symConsts c  = symConsts (crhs c)

-}
getSymConsts         = fold scVis () []
  where
    scVis            = defaultVisitor { accExpr = sc }
    sc _ (ESym c)    = [c]
    sc _ _           = []


{-

instance SymConsts (SimpC a) where
  symConsts c  = symConsts (crhs c)

-}