Implemented the bound analysis for the 'Range' kind of BinaryOperator
bytecode.