More asserts

3 jobs for truecovariantImplementation in 2 minutes and 15 seconds (queued for 3 seconds)