iscc.c: use isl_stream_is_empty instead of reading eof field of isl_stream