anchor.diff:      /// <summary>Gets the number of parameters of the model</summary>
       member m.nparameters = m.parameters.nelement
   
  +    /// <summary>TBD</summary>
       member m.nbuffers = m.buffers.nelement
   
  +    /// <summary>TBD</summary>
       member m.nstate = m.state.nelement
   
  +    /// <summary>TBD</summary>
       member _.children
           with get () = 
               modelDict.Values |> Seq.cast<ModelBase> |> Seq.toList
   
  +    /// <summary>TBD</summary>
       member m.models
           with get () =
               m :: [for c in m.children do yield! c.models]
   
  +    /// <summary>TBD</summary>
       member m.hasOwnParameters
           with get () =
               let childrenParams = m.children |> List.map (fun c -> c.nparameters) |> List.sum
               m.nparameters <> childrenParams
   
  +    /// <summary>TBD</summary>
       member m.hasOwnBuffers
           with get () =
               let childrenBuffers = m.children |> List.map (fun c -> c.nbuffers) |> List.sum
               m.nbuffers <> childrenBuffers
   
  +    /// <summary>TBD</summary>
       member m.hasOwnState
           with get () =
               let childrenState = m.children |> List.map (fun c -> c.nstate) |> List.sum
  
positive.code:         sb.Append(")") |> ignore
          sb.ToString()
  
      member m.summary() =
          let sb = System.Text.StringBuilder()
          sb.AppendLine("---") |> ignore
  
negative.code:             parameterDict.add(n, param)
          updateState()
  
      /// <summary>TBD</summary>
      member m.addBuffer(items:seq<Parameter>, ?names:seq<string>) =
          let items, names = m.checkItems(items, ?names=names)
          for i in 0..items.Length-1 do
  