Comparing precision of original (left) with increment (right):
globals:	equal = 131	left = 0	right = 0	incomparable = 0
locals: 	equal = 1889	left = 0	right = 0	incomparable = 0
locals_ctx:	equal = 1085	left = 0	right = 0	incomparable = 0	no_ctx_in_right = 11249

[Warning][Deadcode] Function "pthread_rdwr_init_np" will never be called: 6LoC (pthread_np.c:24:1)