Simplify CheckerImp