isl_equalities.c: add missing include