There is a silent failure in resolveFrame, which appears to have been triggered when visiting an annotation before attribution. This no longer happens, and it represents an error condition if it does. It should be converted to an assertion.