isl_input.c: extract out push_aff