anchor.diff:                      decls.Add (defineId env id, trE e)
               | Empty 
               | ExprStatement IgnoreSourcePos.Undefined -> ()
  +            | ExprStatement (IgnoreSourcePos.Sequential s) ->
  +                sequential s ExprStatement |> List.iter add
  +            | Return (IgnoreSourcePos.Sequential s) ->
  +                sequential s Return |> List.iter add
  +            | Throw (IgnoreSourcePos.Sequential s) ->
  +                sequential s Throw |> List.iter add
               | _ -> 
                   flushVars()
                   res.Add(trS a)
  
positive.code:     | 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 e -> J.Ignore(trE e)
      | Block s -> J.Block (flatten s)
      | StatementSourcePos (pos, s) -> 
  
negative.code: and transformStatement (env: Environment) (statement: Statement) : J.Statement =
      let inline trE x = transformExpr env x
      let inline trS x = transformStatement env x
      let sequential s effect =
          match List.rev s with
          | h :: t -> effect h :: List.map ExprStatement t |> List.rev          
          | [] -> []
      let flatten s =
          let res = ResizeArray()
          let mutable emptyDecls = ResizeArray()
  