Add if-lifting

"if (if x < y then 1 else 0) = 0 then e1 else e2" is optimized