+ParserTestHard.java with ~ and abs()