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