let get_ext_postconditions spec = 
  let p = add_spec_post None None [] spec in
    List.map (fun (_k, p) -> p) p