[disambiguator] Implemented checking whether imported names are indeed declared in the API. Closed Ticket #131.