I'm not sure I understand what you mean by "guess by declaration immediately". Are you saying to just fall through? If so, I'm not sure that works because it could be the case that there are no references to the declaration.