anchor.diff:          let file = Path.GetFullPath file
           if not (Map.containsKey file state.Files)
           then
  -          Console.Error.WriteLine(sprintf "ERROR: File '%s' not parsed" file)
  +          Console.WriteLine(sprintf "ERROR: File '%s' not parsed" file)
  +          Console.WriteLine("<<EOF>>")
           else
             let lines = state.Files.[file]
             if line >= lines.Length || line < 0 ||
                column > lines.[line].Length || column < 0
             then
  -            Console.Error.WriteLine("ERROR: Position is out of range")
  +            Console.WriteLine("ERROR: Position is out of range")
  +            Console.WriteLine("<<EOF>>")
             else
               let text = String.concat "\n" lines
               let opts = RequestOptions(agent.GetCheckerOptions(file, text, state.Project),
  
positive.code:         main state
  
      | Error(msg) ->
          Console.Error.WriteLine(msg)
          main state
  
      | Quit ->
  
negative.code:         let file = Path.GetFullPath file
          if not (Map.containsKey file state.Files)
          then
            Console.WriteLine(sprintf "ERROR: File '%s' not parsed" file)
            Console.WriteLine("<<EOF>>")
          else
            let lines = state.Files.[file]
            if line >= lines.Length || line < 0 ||
               column > lines.[line].Length || column < 0
            then
              Console.WriteLine("ERROR: Position is out of range")
              Console.WriteLine("<<EOF>>")
            else
              let text = String.concat "\n" lines
              let opts = RequestOptions(agent.GetCheckerOptions(file, text, state.Project),
  