PLUGIN: loop-analysis
OPT: -loop
