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 | _ -> ()