Working version, multiple versions of the same non-terminal NOT allowed