improved production rules for PVS parser library (fix for issue #160) + additional feedback for parser errors