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