This issue, BTW, has been fixed in SlickEdit 2020 (version 25.0).
So long as you do not have the option to try to do function argument matching enabled, that is:
Document > [language] Options... > Go to definition > Attempt to filter out non-matching function overloads
You should not get the prompt to select proc vs prototype unless:
a) the function in question is a class constructor
(so you are prompted whether you want references to the class in general,
or specifically to look for references to the constructor)
b) a virtual method with overloads at multiple levels in the inheritance chain
c) a symbol which SlickEdit's Context Tagging could not identify precisely.