coverage: unit test for the random quantifier
coverage usecase: random quantifier documented