protected override void DoPropagateFinally (FlowBranching parent) { parent.AddReturnOrigin (Vector, Stmt); }