anchor.diff:      | Empty -> J.Empty
       | Break(a) -> J.Break (a |> Option.map (fun l -> l.Name.Value))
       | Continue(a) -> J.Continue (a |> Option.map (fun l -> l.Name.Value))
  +    | ExprStatement (IgnoreSourcePos.Sequential s) -> J.Block (sequential s ExprStatement |> List.map trS)
       | ExprStatement e -> J.Ignore(trE e)
       | Block s -> J.Block (flatten s)
       | StatementSourcePos (pos, s) -> 
  
positive.code:                     decls.Add (defineId env id, trE e)
              | Empty 
              | ExprStatement IgnoreSourcePos.Undefined -> ()
              | _ -> 
                  flushVars()
                  res.Add(trS a)
  
negative.code:                 | _ -> J.SwitchElement.Default (flattenS s)
              )
          )
      | Throw (IgnoreSourcePos.Sequential s) -> J.Block (sequential s Throw |> List.map trS)
      | Throw(a) -> J.Throw (trE a)
      | Labeled(a, b) -> J.Labelled(a.Name.Value, trS b)
      | TryWith(a, b, c) -> 
  