FSharpCheckFileResults.GetMethodsAsSymbols doesn't provide all overloads

[auduchinok]

Consider the following console app that references Selenium.WebDriver package:

open System
open OpenQA.Selenium.Safari

let driver = new SafariDriver()

let url = Uri("")
let str = ""

driver.Navigate().GoToUrl(url)
driver.Navigate().GoToUrl(str)


let navigation = driver.Navigate()
navigation.GoToUrl(url)

'Parameter Info' popup (which uses checkResults.GetMethodsAsSymbols from FCS) is missing overloads when invoked on driver.Navigate().GoToUrl. When using the Uri overload, the string one is missing:

The same happens in the other direction:

However, if driver.Navigate is moved to a binding, it works as expected: