E. Moretti, G. Chanteperdrix and A. Osorio, *New algorithms for control-flow graph structuring*, 2001.