debug do_propagate