locate: not working on mutually recursive bindings

[trefis]

It used to work when we were fallbacking on the location coming from the environment.
Since we don't anymore, if you have:

let rec f x y z =
  ... g ...

and g a b c =
  ... f ...

then jumping to f from g will work, but jumping to g from f won't.