Fix Issue 9107 - Value Range Analysis with uint and byte
Merge pull request #2865 from yebblies/issue9107

Issue 9107 - Value Range Analysis with uint and byte