Fixed the bug of analyzing the return bytecode by using the 'assign'
constraint to give the range of return value.