anchor.diff:              [
                 typedDecl "cnt" "int" |> makePrivate
                 typedDef "Counter" [] "" ("cnt" := constInt 0) |> makePublic
  -              typedDef "Incr" ["int","diff"] "void" ("this.cnt" := (var "this.cnt" .+ var "diff")) |> makePublic
  +              typedDef "incr" ["int","diff"] "void" ("this.cnt" := (var "this.cnt" .+ var "diff")) |> makePublic
               ])
       ]
   
  
positive.code:       CSharpCodeBlock(TextSize.Tiny,
            ((classDef "MyClass" 
                [
                  typedDef "f" ["int","x"] "int" ((ret (var "x" .+ ConstInt(10)))) |> makePublic |> makeStatic
                ])) >>
             ((dots >>
               (staticMethodCall "Console" "WriteLine" [staticMethodCall "MyClass" "f" [ConstInt(10)]])) >> endProgram))
  
negative.code:                 typedDecl "a" "int" |> makePrivate
                  typedDecl "b" "int" |> makePublic
                  typedDef "C" [] "" (("this.a" := constInt 0) >> ("this.b" := constInt 0)) |> makePublic
                  typedDef "incrA" ["int","diff"] "void" ("this.a" := (var "this.a" .+ var "diff")) |> makePublic
                  typedDef "incrB" ["int","diff"] "void" ("this.b" := (var "this.b" .+ var "diff")) |> makePrivate
                ])) >>
              (dots >>
               methodCall "x" "incrB" [ConstInt 10]))
  
        Question @"Will this program be allowed to run?"
        Pause
        TextBlock @"No, because \texttt{incrB} is a private method."
      ]
  
      SubSection "Static methods"
  