Add script in instrumentation/ to detect loop for a single file using Soot