let declare obj _ =
         Formula.Predicate [tau_of_object_array obj 1;Integer;Integer]