And must approximate for non-affine programs outside this domain ( i.e. , in the presence of many subscripts such as index arrays ) .
And must approximate for many programs outside this domain ( i.e. , in the presence of non-affine subscripts such as index arrays ) .