{-
Use SYB to apply our simplification rules bottom-up
on a whole expression
-}
simplifyPred :: Expression -> Expression
simplifyPred = everywhere $ mkT simplifyOneLevelPred
simplifyPred :: Expression -> Expression
simplifyPred = everywhere $ mkT simplifyOneLevelPred
simplifyPred = everywhere $ mkT simplifyOneLevelPred