if (if n=1 then 4 else 5) then 1 else 2