delete checker_ifc.erl