anchor.diff:  
       type Argument = Expression of FSharpExpr | Constant of string * DataType
   
  +    let unnamedInput funcName = "@" + funcName + "Input"
  +    let unnamedOutput funcName = "@" + funcName + "Output"
  +
       module Argument = 
           let ofExprs exprs = exprs |> List.map (Expression)
           let ofInt (i: int) = Constant (string i, PrimitiveTypes.Int)
  
positive.code:     let parseProgramTree (implFile: FSharpImplementationFileContents) =
          match implFile.Declarations with
          | [Entity(Module _, subdecls)] ->
              visitDeclarations ParsedProgram.empty Set.empty subdecls
          | [_] -> 
              failwith "Top-level declaration can be module only"
  
negative.code:                 match nameOpt with
                  | Some name -> 
                      let dependencies = 
                          match parsedProgram.mnemonics.[value.FullName] with
                          | Const _ -> []
                          | Output op -> [op]
                          |> Set.ofList
                      let copyOp = { name = HiddenOps.Identity
                                     inputs = [value.FullName]
                                     output = name
                                     parameters = Some [typeToModel value.FullType]
                                     dependencies = dependencies }
  