Comparing precision of original (left) with increment (right):
globals:	equal = 45	left = 0	right = 0	incomparable = 0
locals: 	equal = 601	left = 0	right = 0	incomparable = 0
locals_ctx:	equal = 477	left = 0	right = 0	incomparable = 0	no_ctx_in_right = 890