Function follow_parents 

pub fn follow_parents(parents: &FxHashMap<Local, Local>, start: Local) -> Local

Follow a parents map (built by verify::property_checker::cstr’s body_parents) from start to its root local, guarding against cycles.