add support for parameterized loop bounds