let declare obj _ = 
         Formula.Predicate [tau_of_object obj]