:= EOF := | SEP := let = | := if then end | if then else end | while SEP end | := | | /* actual grammar encoded in program */ := EOF := | SEP := let = := | |