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

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