let
add_as_hyp _env = merge_with
F
.p_implies