References are resolved as part of the analysis. Resolving all references upfront may be beneficial. The analysis shall be performed in parallel for performance reasons. The implications in the IDE context need to be evaluated as well.