A lenient term parser for reading @HaskellElephant's solver output