| VerifyGrammarAccess |   | 43% | | 33% | 123 | 179 | 126 | 216 | 120 | 176 | 0 | 1 |
| VerifyGrammarAccess.VerificationMethodElements | | 83% | | n/a | 53 | 86 | 53 | 171 | 53 | 86 | 0 | 1 |
| VerifyGrammarAccess.VerificationActivityElements | | 82% | | n/a | 37 | 59 | 37 | 117 | 37 | 59 | 0 | 1 |
| VerifyGrammarAccess.SingleElseEvidenceExprElements | | 74% | | n/a | 28 | 30 | 28 | 59 | 28 | 30 | 0 | 1 |
| VerifyGrammarAccess.ClaimElements | | 81% | | n/a | 23 | 35 | 23 | 69 | 23 | 35 | 0 | 1 |
| VerifyGrammarAccess.VerificationPreconditionElements | | 73% | | n/a | 18 | 19 | 18 | 37 | 18 | 19 | 0 | 1 |
| VerifyGrammarAccess.VerificationPlanElements | | 83% | | n/a | 17 | 28 | 17 | 55 | 17 | 28 | 0 | 1 |
| VerifyGrammarAccess.VerificationValidationElements | | 80% | | n/a | 13 | 19 | 13 | 37 | 13 | 19 | 0 | 1 |
| VerifyGrammarAccess.FormalParameterElements | | 82% | | n/a | 11 | 18 | 11 | 35 | 11 | 18 | 0 | 1 |
| VerifyGrammarAccess.VerificationMethodRegistryElements | | 84% | | n/a | 10 | 18 | 10 | 35 | 10 | 18 | 0 | 1 |
| VerifyGrammarAccess.JavaMethodElements | | 84% | | n/a | 9 | 16 | 9 | 31 | 9 | 16 | 0 | 1 |
| VerifyGrammarAccess.ThenEvidenceExprElements | | 76% | | n/a | 9 | 11 | 9 | 21 | 9 | 11 | 0 | 1 |
| VerifyGrammarAccess.CompositeElseEvidenceExprElements | | 76% | | n/a | 9 | 11 | 9 | 21 | 9 | 11 | 0 | 1 |
| VerifyGrammarAccess.AgreeMethodElements | | 74% | | n/a | 8 | 9 | 8 | 17 | 8 | 9 | 0 | 1 |
| VerifyGrammarAccess.MethodKindElements | | 82% | | n/a | 6 | 10 | 6 | 19 | 6 | 10 | 0 | 1 |
| VerifyGrammarAccess.CompositeEvidenceExprElements | | 78% | | n/a | 6 | 8 | 6 | 15 | 6 | 8 | 0 | 1 |
| VerifyGrammarAccess.ManualMethodElements | | 74% | | n/a | 6 | 7 | 6 | 13 | 6 | 7 | 0 | 1 |
| VerifyGrammarAccess.QuantifiedEvidenceExprElements | | 89% | | n/a | 5 | 13 | 5 | 25 | 5 | 13 | 0 | 1 |
| VerifyGrammarAccess.JUnit4MethodElements | | 75% | | n/a | 5 | 6 | 5 | 11 | 5 | 6 | 0 | 1 |
| VerifyGrammarAccess.PythonMethodElements | | 75% | | n/a | 5 | 6 | 5 | 11 | 5 | 6 | 0 | 1 |
| VerifyGrammarAccess.VAReferenceElements | | 83% | | n/a | 4 | 7 | 4 | 13 | 4 | 7 | 0 | 1 |
| VerifyGrammarAccess.JavaParameterElements | | 87% | | n/a | 3 | 7 | 3 | 13 | 3 | 7 | 0 | 1 |
| VerifyGrammarAccess.ResoluteMethodElements | | 87% | | n/a | 3 | 7 | 3 | 13 | 3 | 7 | 0 | 1 |
| VerifyGrammarAccess.PluginMethodElements | | 90% | | n/a | 2 | 6 | 2 | 11 | 2 | 6 | 0 | 1 |
| VerifyGrammarAccess.VerificationElements | | 90% | | n/a | 2 | 6 | 2 | 11 | 2 | 6 | 0 | 1 |
| VerifyGrammarAccess.ComputeRefElements | | 87% | | n/a | 2 | 5 | 2 | 9 | 2 | 5 | 0 | 1 |
| VerifyGrammarAccess.ElseEvidenceExprElements | | 87% | | n/a | 2 | 5 | 2 | 9 | 2 | 5 | 0 | 1 |
| VerifyGrammarAccess.ArgumentExprElements | | 88% | | n/a | 1 | 3 | 1 | 5 | 1 | 3 | 0 | 1 |