affine stencil1D {N,T|T>0 && N>=3} given int X {i|0<=i 0 && i==0 } : X[i]; {|s > 0 && i==N-1 } : X[i]; {|s > 0 && 1<=i