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