let tau_of_object = function
    | C_int _ -> Formula.Integer
    | C_float _ -> Formula.Real
    | C_pointer _ -> Formula.Pointer Formula.Integer (*useless and non sense value *)
    | C_comp c -> Formula.Record c
    | C_array a -> Formula.Array a