Data.Logic.ATP.ParserTests