removed unused PLazyNonTerminal