StaticFieldProgram -> ArrayIterationProgram