| quantifier_expr() |   | 29% | | 22% | 123 | 143 | 299 | 437 | 0 | 1 |
| derivative_expr() | | 0% | | 0% | 45 | 45 | 82 | 82 | 1 | 1 |
| correspondence_annotation() | | 54% | | 42% | 54 | 77 | 73 | 209 | 0 | 1 |
| statement() | | 78% | | 57% | 91 | 170 | 131 | 502 | 0 | 1 |
| function() | | 76% | | 50% | 132 | 156 | 67 | 371 | 0 | 1 |
| declaration() | | 77% | | 73% | 47 | 108 | 56 | 328 | 0 | 1 |
| partial() | | 0% | | 0% | 14 | 14 | 49 | 49 | 1 | 1 |
| abstract_function() | | 77% | | 60% | 58 | 90 | 27 | 203 | 0 | 1 |
| prefix() | | 63% | | 51% | 29 | 44 | 36 | 131 | 0 | 1 |
| partial_list() | | 0% | | 0% | 14 | 14 | 52 | 52 | 1 | 1 |
| unary_expr() | | 76% | | 67% | 29 | 60 | 36 | 194 | 0 | 1 |
| direct_abstract_declarator() | | 0% | | 0% | 10 | 10 | 41 | 41 | 1 | 1 |
| unary_operator() | | 59% | | 46% | 21 | 33 | 36 | 104 | 0 | 1 |
| list() | | 0% | | 0% | 15 | 15 | 47 | 47 | 1 | 1 |
| include_list() | | 0% | | 0% | 12 | 12 | 46 | 46 | 1 | 1 |
| define_list() | | 0% | | 0% | 12 | 12 | 46 | 46 | 1 | 1 |
| primary_expr() | | 75% | | 66% | 21 | 45 | 30 | 150 | 0 | 1 |
| postfix_expr_suffix() | | 83% | | 71% | 31 | 67 | 20 | 206 | 0 | 1 |
| loop_statement() | | 82% | | 49% | 87 | 111 | 8 | 153 | 0 | 1 |
| direct_declarator() | | 65% | | 59% | 19 | 32 | 32 | 106 | 0 | 1 |
| assign_expr() | | 72% | | 58% | 30 | 55 | 48 | 164 | 0 | 1 |
| designator() | | 58% | | 41% | 15 | 21 | 23 | 71 | 0 | 1 |
| abstract_declarator() | | 74% | | 53% | 72 | 87 | 24 | 85 | 0 | 1 |
| recv_statement() | | 86% | | 71% | 32 | 58 | 8 | 160 | 0 | 1 |
| program_name() | | 0% | | 0% | 6 | 6 | 26 | 26 | 1 | 1 |
| quantifier() | | 52% | | 37% | 11 | 15 | 21 | 53 | 0 | 1 |
| type_specifier() | | 85% | | 77% | 24 | 61 | 14 | 152 | 0 | 1 |
| assert_statement() | | 87% | | 77% | 19 | 45 | 8 | 137 | 0 | 1 |
| program_element() | | 76% | | 63% | 20 | 40 | 20 | 108 | 0 | 1 |
| suffix() | | 79% | | 58% | 17 | 28 | 10 | 87 | 0 | 1 |
| initializer() | | 81% | | 57% | 43 | 65 | 8 | 76 | 0 | 1 |
| constant() | | 88% | | 76% | 17 | 45 | 8 | 138 | 0 | 1 |
| simple_type() | | 87% | | 76% | 15 | 39 | 8 | 121 | 0 | 1 |
| select_statement() | | 79% | | 74% | 8 | 18 | 9 | 62 | 0 | 1 |
| send_statement() | | 86% | | 73% | 13 | 25 | 5 | 78 | 0 | 1 |
| allocate_statement() | | 87% | | 79% | 9 | 22 | 5 | 76 | 0 | 1 |
| comm_expr() | | 83% | | 61% | 25 | 35 | 8 | 57 | 0 | 1 |
| self_change_op() | | 79% | | 70% | 7 | 15 | 8 | 53 | 0 | 1 |
| declaration_list() | | 76% | | 74% | 7 | 18 | 13 | 57 | 0 | 1 |
| designator_list() | | 74% | | 71% | 6 | 13 | 9 | 46 | 0 | 1 |
| condition_statement() | | 87% | | 77% | 10 | 23 | 5 | 79 | 0 | 1 |
| statement_list() | | 83% | | 71% | 23 | 43 | 9 | 46 | 0 | 1 |
| collective_invariant_statement() | | 86% | | 79% | 7 | 18 | 5 | 62 | 0 | 1 |
| joint_invariant_statement() | | 86% | | 79% | 7 | 18 | 5 | 62 | 0 | 1 |
| synpred147_MiniMP() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred139_MiniMP() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred141_MiniMP() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred145_MiniMP() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| joint_assert_statement() | | 87% | | 82% | 6 | 18 | 5 | 62 | 0 | 1 |
| invariant_statement() | | 86% | | 80% | 6 | 16 | 5 | 57 | 0 | 1 |
| choice() | | 85% | | 77% | 6 | 14 | 5 | 56 | 0 | 1 |
| assume_statement() | | 84% | | 77% | 6 | 14 | 5 | 52 | 0 | 1 |
| relational_operator() | | 68% | | 64% | 4 | 8 | 8 | 26 | 0 | 1 |
| multi_operator() | | 66% | | 75% | 2 | 7 | 8 | 26 | 0 | 1 |
| equality_operator() | | 65% | | 70% | 2 | 6 | 8 | 26 | 0 | 1 |
| additive_operator() | | 65% | | 70% | 2 | 6 | 8 | 26 | 0 | 1 |
| ignored() | | 65% | | 70% | 2 | 6 | 8 | 26 | 0 | 1 |
| ifThenElse_expr() | | 88% | | 82% | 7 | 21 | 5 | 66 | 0 | 1 |
| declaration_body() | | 89% | | 90% | 5 | 26 | 5 | 80 | 0 | 1 |
| body() | | 88% | | 71% | 27 | 51 | 9 | 63 | 0 | 1 |
| collective_assert_statement() | | 87% | | 83% | 5 | 16 | 5 | 57 | 0 | 1 |
| initializer_list() | | 86% | | 83% | 6 | 19 | 5 | 65 | 0 | 1 |
| wildcard_expr() | | 84% | | 77% | 5 | 12 | 5 | 48 | 0 | 1 |
| type_name() | | 90% | | 59% | 59 | 76 | 5 | 52 | 0 | 1 |
| call_statement() | | 93% | | 73% | 34 | 63 | 5 | 85 | 0 | 1 |
| compound_statement() | | 89% | | 69% | 27 | 44 | 5 | 49 | 0 | 1 |
| return_statement() | | 87% | | 69% | 20 | 33 | 5 | 49 | 0 | 1 |
| declarator_suffix() | | 87% | | 66% | 22 | 33 | 5 | 48 | 0 | 1 |
| argument_list() | | 85% | | 81% | 5 | 14 | 5 | 53 | 0 | 1 |
| parameter_list() | | 84% | | 85% | 4 | 14 | 6 | 52 | 0 | 1 |
| field_declaration() | | 83% | | 78% | 4 | 10 | 5 | 44 | 0 | 1 |
| define_directive() | | 83% | | 50% | 9 | 10 | 5 | 41 | 0 | 1 |
| spec_expr() | | 82% | | 78% | 4 | 10 | 5 | 38 | 0 | 1 |
| skew_factor() | | 82% | | 78% | 4 | 10 | 5 | 38 | 0 | 1 |
| evaluated_function_expr() | | 90% | | 74% | 18 | 35 | 5 | 54 | 0 | 1 |
| additive_expr() | | 88% | | 81% | 6 | 17 | 5 | 62 | 0 | 1 |
| multi_expr() | | 87% | | 88% | 4 | 17 | 5 | 60 | 0 | 1 |
| relational_expr() | | 87% | | 88% | 4 | 17 | 5 | 55 | 0 | 1 |
| equality_expr() | | 87% | | 86% | 4 | 15 | 5 | 55 | 0 | 1 |
| logical_or_expr() | | 86% | | 85% | 4 | 14 | 5 | 53 | 0 | 1 |
| logical_and_expr() | | 86% | | 85% | 4 | 14 | 5 | 53 | 0 | 1 |
| declaration_unit() | | 85% | | 88% | 3 | 13 | 5 | 47 | 0 | 1 |
| argument() | | 82% | | 79% | 3 | 8 | 5 | 38 | 0 | 1 |
| designation() | | 82% | | 79% | 3 | 8 | 5 | 36 | 0 | 1 |
| assign_operator() | | 78% | | 72% | 5 | 10 | 7 | 26 | 0 | 1 |
| program() | | 86% | | 78% | 10 | 24 | 5 | 39 | 0 | 1 |
| declarator() | | 86% | | 90% | 2 | 11 | 5 | 47 | 0 | 1 |
| iterative_statement() | | 85% | | 90% | 2 | 11 | 5 | 45 | 0 | 1 |
| postfix_expr() | | 85% | | 89% | 2 | 10 | 5 | 43 | 0 | 1 |
| expr_statement() | | 84% | | 86% | 2 | 8 | 5 | 36 | 0 | 1 |
| include_directive() | | 79% | | 50% | 5 | 6 | 5 | 28 | 0 | 1 |
| empty_statement() | | 79% | | 80% | 2 | 6 | 5 | 28 | 0 | 1 |
| pointer() | | 70% | | 83% | 1 | 4 | 5 | 21 | 0 | 1 |
| parameter() | | 82% | | 90% | 1 | 6 | 5 | 30 | 0 | 1 |
| synpred139_MiniMP_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred141_MiniMP_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred145_MiniMP_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred147_MiniMP_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred13_MiniMP_fragment() | | 89% | | 72% | 5 | 10 | 2 | 28 | 0 | 1 |
| synpred96_MiniMP_fragment() | | 94% | | 62% | 13 | 18 | 0 | 31 | 0 | 1 |
| synpred73_MiniMP() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred96_MiniMP() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred119_MiniMP() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred151_MiniMP() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred143_MiniMP() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred138_MiniMP() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred87_MiniMP() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred133_MiniMP() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred61_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred83_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred129_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred68_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred8_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred149_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred107_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred121_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred71_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred67_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred72_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred13_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred82_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred59_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred57_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred69_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred100_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred70_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred16_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred64_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred5_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred84_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred132_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred77_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred4_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred102_MiniMP() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| expr() | | 97% | | 85% | 10 | 34 | 1 | 57 | 0 | 1 |
| synpred61_MiniMP_fragment() | | 95% | | 64% | 13 | 19 | 0 | 21 | 0 | 1 |
| synpred100_MiniMP_fragment() | | 94% | | 56% | 8 | 10 | 0 | 22 | 0 | 1 |
| synpred57_MiniMP_fragment() | | 97% | | 76% | 8 | 18 | 0 | 23 | 0 | 1 |
| synpred59_MiniMP_fragment() | | 97% | | 63% | 11 | 16 | 0 | 18 | 0 | 1 |
| setTreeAdaptor(TreeAdaptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| synpred84_MiniMP_fragment() | | 96% | | 70% | 3 | 6 | 0 | 9 | 0 | 1 |
| synpred132_MiniMP_fragment() | | 95% | | 62% | 3 | 5 | 0 | 8 | 0 | 1 |
| getDelegates() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getTreeAdaptor() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| synpred119_MiniMP_fragment() | | 95% | | 50% | 2 | 3 | 0 | 9 | 0 | 1 |
| synpred87_MiniMP_fragment() | | 94% | | 50% | 2 | 3 | 0 | 6 | 0 | 1 |
| synpred133_MiniMP_fragment() | | 94% | | 50% | 2 | 3 | 0 | 6 | 0 | 1 |
| getGrammarFileName() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| synpred16_MiniMP_fragment() | | 99% | | 90% | 2 | 11 | 0 | 24 | 0 | 1 |
| synpred121_MiniMP_fragment() | | 97% | | 75% | 1 | 3 | 0 | 9 | 0 | 1 |
| synpred102_MiniMP_fragment() | | 97% | | 75% | 1 | 3 | 0 | 6 | 0 | 1 |
| synpred73_MiniMP_fragment() | | 95% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred138_MiniMP_fragment() | | 95% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred143_MiniMP_fragment() | | 95% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred151_MiniMP_fragment() | | 92% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| static {...} | | 100% | | 100% | 0 | 7 | 0 | 660 | 0 | 1 |
| synpred107_MiniMP_fragment() | | 100% | | 100% | 0 | 4 | 0 | 13 | 0 | 1 |
| MiniMPParser(TokenStream, RecognizerSharedState) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| synpred4_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred5_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred8_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred64_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred67_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred68_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred69_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred70_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred71_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred72_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred77_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred82_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred83_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred129_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred149_MiniMP_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| MiniMPParser(TokenStream) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getTokenNames() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |