isl_tab_add_eq: return int instead of isl_tab *