anchor.diff:      pstring "view"
       >>. ws
       >>. wrapFuncLike parseIdentifier
  -                     (fun np -> { VPName = fst np
  -                                  VPPars = snd np } )
  +                     (fun (n, p) -> { VPName = n
  +                                      VPPars = p } )
                        parseTypedParam
       .>> ws .>> pstring ";" .>> ws
   
  
positive.code:     // ^- <lvalue> ...
              (pstring "=" >>. ws >>. parseExpression .>> ws .>> pstring ";")
                    //             ... = <expression> ;
              (fun l r -> Assign (l, r))
  
  /// Parser for blocks.
  let parseParSet =
  
negative.code: let parseFetchOrPostfix =
      parseLValue
      .>> ws
      >>= (fun id -> choice [ stringReturn "++" (Postfix (id, Increment))
                              stringReturn "--" (Postfix (id, Decrement))
                              pstring "=" >>. ws >>. parseFetch id ])
  
  /// Parser for assume actions.
  let parseAssume =
  