Adding no-terminals