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