DefaultSystemVisitor

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	6 of 52	88%	0 of 0	n/a	2	18	4	34	2	18
enter(Tag)		0%		n/a	1	1	2	2	1	1
exit(Tag)		0%		n/a	1	1	2	2	1	1
DefaultSystemVisitor()		100%		n/a	0	1	0	1	0	1
enter(System)		100%		n/a	0	1	0	2	0	1
exit(System)		100%		n/a	0	1	0	2	0	1
enter(Component)		100%		n/a	0	1	0	2	0	1
exit(Component)		100%		n/a	0	1	0	2	0	1
enter(Conjunction)		100%		n/a	0	1	0	2	0	1
exit(Conjunction)		100%		n/a	0	1	0	2	0	1
enter(Disjunction)		100%		n/a	0	1	0	2	0	1
exit(Disjunction)		100%		n/a	0	1	0	2	0	1
enter(Negation)		100%		n/a	0	1	0	2	0	1
exit(Negation)		100%		n/a	0	1	0	2	0	1
enter(Require)		100%		n/a	0	1	0	2	0	1
exit(Require)		100%		n/a	0	1	0	2	0	1
enter(Nothing)		100%		n/a	0	1	0	2	0	1
exit(Nothing)		100%		n/a	0	1	0	2	0	1
defaultVisit()		100%		n/a	0	1	0	1	0	1