From this PR comment:
This file contains tests for many unrelated components. I think it would be useful to transfer some tests to other files.
Here is an example: PolideaInternal@a91b612
To avoid conflicts you can do it in one PR, but it would be useful for each move to be in a separate commit. This will facilitate the review.