simplifyOneLevelPred (BinOp e1 op e2) = let
    [ee1, ee2] = sort [e1, e2]
  in if isCommutative op
  then BinOp ee1 op ee2
  else BinOp e1 op e2
simplifyOneLevelPred (BinOp e1 op e2) = let
    [ee1, ee2] = sort [e1, e2]
  in if isCommutative op
  then BinOp ee1 op ee2
  else BinOp e1 op e2
simplifyOneLevelPred (BinOp e1 op e2) = let
    [ee1, ee2] = sort [e1, e2]
  in if isCommutative op
  then BinOp ee1 op ee2
  else BinOp e1 op e2