In my tests, expr is often x or x - 1, so that Basic seems to be correct.
x-1 first try Add, but if it sums positive with maybe not positive it will fallback to Basic.