catch_partial_unification_rethrow(1).