Added explicit @covers declarations to BMDieTest