anchor.diff:          | _ -> 
               Block (a |> List.map (fun (var, value) -> VarDeclaration (env.NewVar var, match value with Some v -> trE v | None -> Undefined)))
       | S.While (a, b) -> While (trE a, trS b)
  -    | S.With (a, b) -> failwith "TODO"
  +    | S.With (a, b) -> failwith "Unsupported: JS with statement"
       | S.StatementComment _ -> failwith "impossible, comments are not parsed"
   
   let createInline thisArg args isPure inlineString =        
  
positive.code:         this.Inputs |> List.contains expr
  
  exception RecognitionError
  
  let rec transformExpression (env: Environment) (expr: S.Expression) =
      let inline trE e = transformExpression env e
  
negative.code:             e |> transformExpression (Environment.New(thisArg, false, isPure, args))
          | Choice2Of2 p ->
              p
              |> List.map (function S.Action a -> a | _ -> failwith "Currently unsupported: function declarations in Inline" )
              |> S.Block
              |> transformStatement (Environment.New(thisArg, false, isPure, args))
              |> IgnoredStatementExpr
  