isl_tab_allocate_con: add extra assertion