Simple non-deterministic language