Can't extend `Checkers` and `Discipline` in the same suite?

[armanbilge]

At least, I couldn't figure out how to do it. Seems like their hierarchies are conflicting?

It seems like a common pattern to mix discipline tests with additional property tests. Workaround of course is to make two suites, with some shuffling to share generators :)

[Baccata]

I have to admit I've never used the Discipline module in weaver myself. I'd be happy to undergo some changes to make this possible.