Add the constraint for 'lengthof' bytecode with the range from 0 to
32767(2^15-1) or the max value of a short integer in C.