// This file was generated by DAJ from program.cd.

{
parser lookahead=20;}
Binder = <statement> Statement_List EOF.
Statement : IfStatement | LoopStatement | Assignment.
IfStatement = <condition> Condition <statement_List> Statement_List "if" extends Statement.
LoopStatement = <condition> Condition <statement_List> Statement_List "loop" extends Statement.
Assignment = <i1> Integer <i2> Integer ":" extends Statement.
Condition : [ <trueC> TrueC ].
TrueC = "trueC".
Statement_List ~ "(" { Statement  } ")".