compare-elim.c (struct comparison): Add not_in_a field.