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