isl_tab: add isl_tab_add_valid_eq