Abstract property tests for psval parser