--NoNieceTerminal in extract-mixed-syntax