let define = function
| C_array arr ->
let key = D.Arrayinfo.index arr in
if not (Harray.mem aindex key) then
( Harray.add aindex key () ; !define_array arr )
| C_comp comp ->
let key = D.Compinfo.index comp in
if not (Hcomp.mem cindex key) then
( Hcomp.add cindex key () ; !define_comp comp )
| _ -> ()