let add_as_goal _env = merge_with F.p_and