Adding the third stencil program: adi-benchmark.
TSTEP=5, NLR detected the pattern (TSTEP =2, NLR fails to consider it a big time loop)
Contains more statments than jacobi-2d and seidel-2d.
The array mapping scheme worked perfectly on this stencil program as well.
Just needed to add printf to prevent it from viewing X A B as the same array.