Delete IFC.hs