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