Source Language Optimization of For-loops. AIM-020