isl_*_free: return NULL pointer of object type rather than of void *