Function propagate 

fn propagate<M: Memory + Copy>(m: M, node: u64, resume: u64) -> i32

Recompute the cached minima from node up to the root. The walk stops at the first node whose minima did not change, since nothing above it can change either, unless resume is further up the path: then it goes on from resume, whose cached minima are not ones the nodes above saw.