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