Generating Artificial Data for Empirical Analysis of Control-flow Discovery Algorithms · Study