{ a = if true then 1 else 2; b = if false then 1 else 2; }