Document propagate_singletons_recursive