begin
   A ≔ if true then 1 else 0;
end