* main_codeslicer.ml: fixpoint because newly dead code may now
make less live a big children that was originally discareded because
used by live code