anchor.diff:          state
   
       member this.IterateBuffered (fn : Statement<'c, 'c2, 'c3, 'c4, 'w>) world =
  -        system.WithCorrelatedsBuffered (fun array world ->
  -            system2.WithCorrelatedsBuffered (fun array2 world ->
  -                system3.WithCorrelatedsBuffered (fun array3 world ->
  -                    system4.WithCorrelatedsBuffered (fun array4 world ->
  +        system.WithCorrelatedsBuffered (fun aref world ->
  +            system2.WithCorrelatedsBuffered (fun aref2 world ->
  +                system3.WithCorrelatedsBuffered (fun aref3 world ->
  +                    system4.WithCorrelatedsBuffered (fun aref4 world ->
  +                        let array = aref.Array
  +                        let array2 = aref2.Array
  +                        let array3 = aref3.Array
  +                        let array4 = aref4.Array
                           let mutable world = world
                           let mutable enr = cache.ValuesEnumerator
                           while enr.MoveNext () do
  
positive.code:         state
  
      member this.IterateBuffered (fn : Statement<'c, 'c2, 'w>) world =
          system.WithCorrelatedsBuffered (fun array world ->
              system2.WithCorrelatedsBuffered (fun array2 world ->
                  let mutable world = world
                  let mutable enr = cache.ValuesEnumerator
                  while enr.MoveNext () do
  
negative.code:         state
  
      member this.IterateBuffered (fn : Statement<'c, 'c2, 'c3, 'w>) world =
          system.WithCorrelatedsBuffered (fun aref world ->
              system2.WithCorrelatedsBuffered (fun aref2 world ->
                  system3.WithCorrelatedsBuffered (fun aref3 world ->
                      let array = aref.Array
                      let array2 = aref2.Array
                      let array3 = aref3.Array
                      let mutable world = world
                      let mutable enr = cache.ValuesEnumerator
                      while enr.MoveNext () do
  