Package cat.lump.ir.comparison.toCheck