Cleanup in ILImp.v