anchor.diff:          ItemsBlockWithTitle("Array<T>")
             [
               ! @"Our ``new'' array takes as input an object of type array"
  -            ! @"A field \texttt{index} keeps track of the current index"
  -            ! @"Whenever the \texttt{GetNext} method is called we check whether we reached the end of the array: if so we return \texttt{None}, otherwise we increase the index and return the value of the array at position \texttt{index} wrapped inside a \texttt{Some} object"
  +            ! @"\texttt{GetNext} returns \texttt{None} at the end of the array, otherwise it increases the index and returns the value of the array at position \texttt{index} wrapped inside a \texttt{Some}"
             ]
           CSharpCodeBlock( TextSize.Tiny,
                           (genericClassDef ["T"]
  
positive.code:         ItemsBlockWithTitle("Structural patterns")
            [
              ! @"Are design patterns that ease the design of an application by identifying a simple way to implement relationships between entities"
              ! @"Among such pattern we find:"
            ]
          ItemsBlock
            [
              ! @"Adapter pattern"
              ! @"Decorator pattern"
              ! @"Proxy pattern"
              ! @"etc.."
            ]
  
negative.code:             ! @"State pattern"
              ! @"Strategy pattern"
              ! @"\textbf{Null Object pattern}"
              ! @"\underline{Iterator pattern}"
              ! @"etc.."
            ]
  
  