improved PVS parser to support constants of type string (addresses issue #182)