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