anchor.diff:                  | _ -> 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) -> 
  
positive.code:                     decls.Add (defineId env id, trE e)
              | Empty 
              | ExprStatement IgnoreSourcePos.Undefined -> ()
              | _ -> 
                  flushVars()
                  res.Add(trS a)
  
negative.code:         J.StatementPos (trS s, jpos)
      | If(a, b, c) -> J.If(trE a, trS b, trS c)
      | Return (IgnoreSourcePos.Unary(UnaryOperator.``void``, a)) -> J.Ignore(trE a)
      | Return (IgnoreSourcePos.Sequential s) -> J.Block (sequential s Return |> List.map trS)
      | Return IgnoreSourcePos.Undefined -> J.Return None
      | Return a -> J.Return (Some (trE a))
      | VarDeclaration (id, e) ->
  