return when no unresolved identifiers have been found.