They optimize cases of the form ifelse(cond, ifelse(cond, x,y), y), where
cond is the same.