Some cleanup in IFC case studies