treat fors with non-affine initialization or non-constant increment as whiles