test: joint test for ClosureGraphChecker and ReadIncChecker
bug fix: discard the observation generated randomly in which some process has no operations at all