As I understand, the only thing that changes here wrt to the other test is the use of the Tree with mixin class. So we probably don't need the quickcheck and smallcheck tests in this file but also maybe you can import the Tree with mixin class with a prefix in the already existing test file and add one more test case instead of introducing a new test file?