AssumeJUnitPlugin.new ASTVisitor() {...}

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	2 of 36	94%	2 of 6	66%	2	5	0	6	0	2
visit(MethodInvocation)		92%		66%	2	4	0	5	0	1
{...}		100%		n/a	0	1	0	1	0	1