anchor.diff:      let argsMap = args |> List.map (fun a -> a.Name, a) |> Map.ofList
   
   
  -    let ex, s = ex.run { arguments = argsMap; locals = Map.empty }
  -
  -    printfn "%A" ex
  +    let exd, s = ex.run { arguments = argsMap; locals = Map.empty; declared = Map.empty }
  +
  +    let ex = exd []
  +    let ex2 = ex |> FSharp.removeImperativeReturn |> FSharp.removeRetFunctions
  +
  +    printfn "%A" ex2
   //
   //    printfn "%A" b
   //
  
positive.code: 
      let (|Return|_|) (e : Expr) =
          match e with
              | Call(None, mi, [value]) when mi = retMethod ->
                  Some (Return(value))
              | _ ->
                  None
  
  
negative.code:     
              }
  
          member x.VisitIndexerDeclaration(indexerDeclaration: IndexerDeclaration) : ExprResult<list<Expr> -> Expr> = failwith "not implemented"
          member x.VisitIndexerExpression(indexerExpression: IndexerExpression) : ExprResult<list<Expr> -> Expr> = failwith "not implemented"
          member x.VisitInvocationExpression(invocationExpression: InvocationExpression) : ExprResult<list<Expr> -> Expr> = failwith "not implemented"
          member x.VisitIsExpression(isExpression: IsExpression) : ExprResult<list<Expr> -> Expr> = failwith "not implemented"
          member x.VisitLabelStatement(labelStatement: LabelStatement) : ExprResult<list<Expr> -> Expr> = failwith "not implemented"
          member x.VisitLambdaExpression(lambdaExpression: LambdaExpression) : ExprResult<list<Expr> -> Expr> = failwith "not implemented"
          member x.VisitLockStatement(lockStatement: LockStatement) : ExprResult<list<Expr> -> Expr> = failwith "not implemented"
          member x.VisitMemberReferenceExpression(memberReferenceExpression: MemberReferenceExpression) : ExprResult<list<Expr> -> Expr> = failwith "not implemented"
          member x.VisitMemberType(memberType: MemberType) : ExprResult<list<Expr> -> Expr> = failwith "not implemented"
          member x.VisitMethodDeclaration(methodDeclaration: MethodDeclaration) : ExprResult<list<Expr> -> Expr> =
              expr {
                  let! body = methodDeclaration.Body.AcceptVisitor(x)
  
  