∧,,∧  今日も休日いい気分...
   ミ,,゚Д゚彡  コーシーうまうま...
    ミ つ旦)~~
  〜と,,,~),,~) 

if A = True then B := True
else B := False;
↑これを
↓これに自動でコンパイラが最適化はしてくれないの?
A := B;

あと、i := i + 1がInc(i)として扱われないのも
なんか不思議な気分、自動で変換してくれてもよさそう。