let pre_cond_id = function
  | Property.IPCodeAnnot(_,_,p) -> p.annot_id
  | Property.IPPredicate(_,_,_,p) -> p.ip_id
  | property -> 
    Wp_parameters.fatal "No precondition id for @[%a@]" Property.pretty property