Agec, an arbitrary-granularity execution clone detection tool