rangeE (BinopE MaxO e1 e2) = do
    d1 <- rangeE e1
    d2 <- rangeE e2
    return $ joinRanges d1 d2
rangeE (BinopE MaxO e1 e2) = do
    d1 <- rangeE e1
    d2 <- rangeE e2
    return $ joinRanges d1 d2
rangeE (BinopE MaxO e1 e2) = do
    d1 <- rangeE e1
    d2 <- rangeE e2
    return $ joinRanges d1 d2