Added definition of bound for length variables.