* main_codeslicer.ml: bugfix, now find newly dead code!