OutputCollector

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	140 of 140	0%	10 of 10	0%	7	7	33	33	2	2
collectOutputs(State)		0%		0%	5	5	18	18	1	1
OutputCollector(Model, SymbolicUniverse)		0%		0%	2	2	15	15	1	1