Comparing precision of original (left) with increment (right):
Global (alloc@sid:701) on :-1:-1 is more precise using right:
Reversed (top or Set (Normal Lvals)): {} not leq All mutexes. compound: (Array: ((Unknown int([-7,7])), (1), false), (1)) not same type as Uninitialized. 
globals:	equal = 44	left = 0	right = 1	incomparable = 0
locals: 	equal = 516	left = 0	right = 0	incomparable = 14
locals_ctx:	equal = 425	left = 0	right = 0	incomparable = 0	no_ctx_in_right = 942