let
add_as_goal _env = merge_with
F
.p_and