[ARITH] There are couple duplicate logic in TryCompare Function

Hi There,

In function [rewrite_simplify.cc]::TryCompare, there are some duplicate check logic like first do 'if (dbound->min_value > val) ’ then do ‘if (dbound->min_value >= val)’, for my understand after ‘>’ check, ‘>=’ actually is ‘==’ only, why here still use ‘>=’? could here use ‘if (dbound->min_value == val)’ to replace ‘‘if (dbound->min_value >= val)’’?

@tqchen

Regards
Hua