anchor.diff:                  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
  +                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]))
  +             methodCall "x" "incrB" [ConstInt 10]))
   
         Question @"Will this program be allowed to run?"
         Pause
  -      TextBlock @"No, because \texttt{IncrB} is a private method."
  +      TextBlock @"No, because \texttt{incrB} is a private method."
       ]
   
       SubSection "Static methods"
  
positive.code:     CSharpStateTrace(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:       CSharpCodeBlock(TextSize.Tiny,
            classDef "MyClass" 
              [
                typedDef "f" ["int","x"] "int" ((ret (var "x" .+ ConstInt(10)))) |> makeStatic |> makePublic 
              ])
      ]
  
  