ILP for IPGs with one level of loop nesting