Additional CForLoop refinements