isl_tab.c: simplify add_eq