isl_tab.c: push_union: return isl_stat