let make_il0 d = let def = defines_desc d in let dep = depends_desc d in let dep = subtract dep def in { il0_defines = def; il0_depends = dep; il0_nobranch = hasnobranch_desc d; il0_t = d }