History isl-0.14/isl_equalities.h