wscope-find-global-definition works