- (*| exp WHERE exp END (ELocal (exp1, exp2), (exp1left, ENDright))
- | exp WHERE exp WITH END (EWith ((ELocal (exp1, exp2), (exp1left, ENDright)),
- (ESkip, (WITHleft, ENDright))),
- (exp1left, ENDright))
- | exp WITH END (EWith (exp, (ESkip, (WITHleft, ENDright))), (expleft, ENDright))
- | exp WITH exp END (EWith (exp1, exp2), (exp1left, ENDright))*)