runExprToPred e = (e', pred, state)
    where (pred, state) = runState (exprToPred id e') emptyRuleState
          e' = normalizeExpr e

--------------------------------------------------------------------------------
runExprToPred e = (e', pred, state)
    where (pred, state) = runState (exprToPred id e') emptyRuleState
          e' = normalizeExpr e

--------------------------------------------------------------------------------
runExprToPred e = (e', pred, state)
    where (pred, state) = runState (exprToPred id e') emptyRuleState
          e' = normalizeExpr e

--------------------------------------------------------------------------------