When checking that all related entities are final, we must also check the imported categories now that we have generalized the `^^/1` control construct