public override void MarkReachable(Reachability rc) { base.MarkReachable(rc); stmt.MarkReachable(rc); }
public override Reachability MarkReachable(Reachability rc) { return(stmt.MarkReachable(rc)); }