Implement normalization of for-loops