anchor.diff:  /// Split the collection into two collections, containing the elements for which
   /// the given predicate returns <c>true</c> and <c>false</c> respectively.
   /// </summary>
  +/// <param name="predicate"></param>
  +/// <param name="resizeArray"></param>
  +/// <returns></returns>
   [<CompiledName("Partition")>]
   let partition predicate (resizeArray : ResizeArray<'T>) : ResizeArray<'T> * ResizeArray<'T> =
       // Preconditions
  
positive.code:         state <- reduction.Invoke (resizeArray.[i], state)
      state
  
  //
  [<CompiledName("ScanSub")>]
  let scanSub folder (state : 'State) (resizeArray : ResizeArray<'T>) startIndex endIndex : ResizeArray<'State> =
      // Preconditions
  
negative.code: 
      scanSub folder state resizeArray 0 (length resizeArray - 1)
  
  /// <summary></summary>
  /// <param name="folder"></param>
  /// <param name="resizeArray"></param>
  /// <param name="startIndex"></param>
  /// <param name="endIndex"></param>
  /// <param name="state"></param>
  /// <returns></returns>
  [<CompiledName("ScanBackSub")>]
  let scanBackSub folder (resizeArray : ResizeArray<'T>) startIndex endIndex (state : 'State) : ResizeArray<'State> =
      // Preconditions
  