* main_codeslicer.ml: first draft of finding candidats with big branching
factor