added non-determinism exercise E -> E E | a