let
add_as_goal _env goals1 goals2 = merge goals1 goals2