isl_tab.c: push_union: handle NULL input