anchor.diff:      member this.FStarHomePath
           with get () = fstarHomePath
           and set v = fstarHomePath <- v
  -
  -    [<Required>]
  +    
       member this.CommandLineArguments
           with get () = commandLineArguments
           and set v = commandLineArguments <- v
  
positive.code: 
      interface ITask with
          override this.Execute() =
              let fStarHome = "\"" + this.FStarHomePath + "\""
              let args = 
                  commandLineArguments 
                  + " " + items.[0].GetMetadata "FullPath"
                  + " --fstar_home " + fStarHome
  
              let output msg =
                  // Get the output window
                  let outputWindow = Package.GetGlobalService(typeof<SVsOutputWindow>) :?> IVsOutputWindow
                  lock 
                      outputWindow 
                      (fun () -> 
                  // Ensure that the desired pane is visible
                      let paneGuid = Microsoft.VisualStudio.VSConstants.OutputWindowPaneGuid.BuildOutputPane_guid
                      let i,pane = outputWindow.GetPane(ref paneGuid)                    
                      // Output the message
                      try
                          //pane.OutputString("\n" + msg) |> ignore
                          //let pos,body = msg.Split ':' |> fun a -> a.[0],a.[1]
                          let regexp = System.Text.RegularExpressions.Regex("(.*)\(([0-9]+),([0-9]+)-([0-9]+),([0-9]+)\)(.*)")
                          let m = regexp.Match(msg)
                          if m.Success
  
negative.code:             |> output 
  
              try
                  let p = new System.Diagnostics.Process()                
                  p.StartInfo.FileName <- System.IO.Path.Combine(System.IO.Path.GetDirectoryName this.FStarTargetsPath, "FStar.exe")
                  p.StartInfo.Arguments <- args                
                  p.StartInfo.RedirectStandardOutput <- true
                  p.StartInfo.RedirectStandardError <- true
  
                  //* Set your output and error (asynchronous) handlers
                  p.OutputDataReceived.Add(fun e -> e.Data |> output)
                  p.ErrorDataReceived.Add(fun e -> e.Data |> output)
  
                  p.StartInfo.UseShellExecute <- false
                  p.StartInfo.CreateNoWindow <- true
                  p.StartInfo.WindowStyle <- System.Diagnostics.ProcessWindowStyle.Hidden                
                  //* Start process and handlers
                  p.Start()
                  p.BeginOutputReadLine()
  