anchor.diff:      // Add some values.
       NHol.printer.reserve_words ["TeSt"; "two words"]
       let addResult = NHol.printer.reserved_words()
  +//    printfn "Reserved words - expected: %A" reserved_words_added
  +//    printfn "Reserved words - result: %A" addResult
       NUnit.Framework.CollectionAssert.AreEquivalent(addResult, reserved_words_added)
   
       // Test for one of the added values.
  
positive.code:         "function";
          "->";
          "when";
          "TeSt";
          "two words"
          ]
  
negative.code:         "with";
          "function";
          "->";
          "when";
          @"//"]
  
      // Check the intial state of the reserved words.
      let initialResult = NHol.printer.reserved_words()
  //    printfn "Reserved words - expected: %A" reserved_words_initial
  //    printfn "Reserved words - result: %A" initialResult
      NUnit.Framework.CollectionAssert.AreEquivalent(initialResult, reserved_words_initial)
  
      let reserved_words_added = [
  