let pp_asked_prop fmt config = match config.asked_prop with
| AllProps -> Format.fprintf fmt "all properties"
| OnlyPreconds -> Format.fprintf fmt "main preconditions"
| NamedProp s -> Format.fprintf fmt "properties %s" s
| IdProp p -> Format.fprintf fmt "property %s" (WpPropId.id_prop_txt p)
| CallPre (s, Some p) -> Format.fprintf fmt "pre %s at stmt %a"
(WpPropId.id_prop_txt p) Stmt.pretty_sid s
| CallPre (s, None) -> Format.fprintf fmt "all call preconditions at stmt %a"
Stmt.pretty_sid s