Their approach automatically checks whether a configuration exists in which a referenced identifier is never declared.
 in contrast to our approach, they are only concerned with the existence of declarations, but not with the resolution of a particular reference to multiple suitable declarations.