anchor.diff:              | Some _ ->
                   "Object method calling" |> notSupported
               | None ->
  -                let processArgumentExpr = processFuncArgs parsedProgram predcessors compiledFuncName 
  -                
  +                let processArgumentExpr = processFuncArgs parsedProgram predcessors fullFuncName
                   let updatedProgram, (Reversed argNames) = 
                       argsExprs
                       |> List.mapi processArgumentExpr
  
positive.code:                 let name = 
                      match nameOpt with 
                      | Some str -> str 
                      | None -> ParsedProgram.escapeName updatedProgram (fullFuncName + "Output")
                  let dependencies = findDependencies updatedProgram argNames
                  let operation = { name = fullFuncName;
                                    inputs = argNames;
                                    output = name;
                                    parameters = 
                                        match typeArgs2 with
                                        | [] -> None
                                        | _ -> Some (List.map typeToModel typeArgs2)
                                    dependencies = Set.union dependencies predcessors } in
                  updatedProgram 
                  |> ParsedProgram.addMnemonic name (Output operation), (Some operation)
  
  
negative.code:             visitExpression nameOpt predcessors' updatedProgram expr2
              
          | BasicPatterns.Let ((bindVar, bindExpr), bodyExpr) ->
              let updatedProgram, _ = visitExpression (Some bindVar.FullName) predcessors parsedProgram bindExpr
              visitExpression nameOpt predcessors updatedProgram bodyExpr
  
          | BasicPatterns.TupleGet (tupleType, index, tupleExpr) ->
              visitCall (None,
                         HiddenOps.TupleGet,
                         None,
                         [],
                         Seq.toList tupleType.GenericArguments,
                         [Argument.ofInt index; Expression tupleExpr])
  