some bug fixes for range value analysis
now, it's time to go to support those five relaitonal operators:
<, >, <=, >= and ==.