(\x.if 5 <= 3 then x + 7 else 0) x
