isl backend: clean up reading functions