let
get_preconditions asked_bh spec = add_spec_pre
None
(
Some
asked_bh) [] spec