Fixed #5077 (False positive: Comparison of boolean result with relational operator ((X + (Y < 0)) <= b))