let get_postconditions asked_bh spec = 
  add_spec_post None (Some asked_bh) [] spec