let create_data_name d = match d with
      | F.D1addr (v,_) -> D.Aindex.define v
      | F.D1depl (_, F.Pfield f)
      | F.D1proj (_, F.Pfield f)
      | F.D1mu (_, F.Pfield f, _) -> D.Findex.define f ; D.Tindex.define f.fcomp
      | _ -> ()