Added support for loop bound generation