update range value analysis to support five relational builtins
they are: <, <=, >, >= and ==.
need do some testing and bug fixing...