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