isl_tab_add_valid_eq: return int instead of isl_tab *