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 }