Use malloced array rather than SmallVector to store isl_ids