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