let fpretty_term term fmt t =
if Wp_parameters.verbose_atleast 2
then fpp_term term fmt t
else match t with
| Fol.Tapp(("encode"|"decode"),[_;v]) ->
Format.fprintf fmt "{%a}" term v
| Fol.Taccess(a,k) -> Format.fprintf fmt "%a[%a]" term a term k
| Fol.Tupdate(a,k,b) ->
Format.fprintf fmt "@[<hv 2>%a[%a@,->%a]@]"
term a term k term b
| t ->
fpp_term term fmt t