if 1=2 then (when 5<6 do 11) else 12