coverage: unit test for the random quantifier
coverage usecase: random quantifier documented
Merge remote-tracking branch '01/devel' into for-devel