source/clast.c: detect pairs of inequalities that uniquely define a variable