method vfunc fd =
    let fd' = elim_dead_code(*_fp*) fd in
    ChangeTo(fd')