変数の宣言

variable b:Bool はダメで、variable (b:Bool) 。

そもそも「変数」は通常の意味の変数ではない。共通に予約された暗黙束縛変数のこと。