| statement() |   | 35% |   | 16% | 158 | 171 | 337 | 508 | 0 | 1 |
| declaration() |  | 0% |  | 0% | 82 | 82 | 249 | 249 | 1 | 1 |
| function() |   | 43% |   | 19% | 171 | 174 | 159 | 366 | 0 | 1 |
| quantifier_expr() |  | 0% |  | 0% | 73 | 73 | 211 | 211 | 1 | 1 |
| correspondence_annotation() |  | 0% |  | 0% | 77 | 77 | 209 | 209 | 1 | 1 |
| loop_statement() |  | 0% |  | 0% | 111 | 111 | 153 | 153 | 1 | 1 |
| recv_statement() |  | 0% |  | 0% | 58 | 58 | 160 | 160 | 1 | 1 |
| unary_expr() |   | 23% |   | 11% | 55 | 60 | 132 | 194 | 0 | 1 |
| postfix_expr_suffix() |   | 38% |   | 22% | 80 | 92 | 146 | 251 | 0 | 1 |
| type_specifier() |   | 28% |   | 8% | 67 | 70 | 88 | 142 | 0 | 1 |
| pragma() |   | 42% |   | 20% | 70 | 73 | 93 | 190 | 0 | 1 |
| call_statement() |  | 0% |  | 0% | 63 | 63 | 85 | 85 | 1 | 1 |
| unary_operator() |  | 0% |  | 0% | 33 | 33 | 104 | 104 | 1 | 1 |
| abstract_declarator() |  | 0% |  | 0% | 84 | 84 | 85 | 85 | 1 | 1 |
| derivative_expr() |  | 0% |  | 0% | 45 | 45 | 82 | 82 | 1 | 1 |
| initializer() |  | 0% |  | 0% | 65 | 65 | 76 | 76 | 1 | 1 |
| send_statement() |  | 0% |  | 0% | 25 | 25 | 78 | 78 | 1 | 1 |
| suffix() |  | 0% |  | 0% | 28 | 28 | 87 | 87 | 1 | 1 |
| constant() |   | 38% |   | 24% | 37 | 45 | 78 | 138 | 0 | 1 |
| allocate_statement() |  | 0% |  | 0% | 22 | 22 | 76 | 76 | 1 | 1 |
| assign_expr() |   | 31% |   | 17% | 49 | 55 | 118 | 164 | 0 | 1 |
| condition_statement() |  | 0% |  | 0% | 23 | 23 | 79 | 79 | 1 | 1 |
| declaration_body() |  | 0% |  | 0% | 33 | 33 | 80 | 80 | 1 | 1 |
| designator() |  | 0% |  | 0% | 21 | 21 | 71 | 71 | 1 | 1 |
| compound_statement() |  | 0% |  | 0% | 47 | 47 | 49 | 49 | 1 | 1 |
| comm_expr() |  | 0% |  | 0% | 35 | 35 | 57 | 57 | 1 | 1 |
| type_name() |  | 0% |  | 0% | 70 | 70 | 39 | 39 | 1 | 1 |
| select_statement() |  | 0% |  | 0% | 18 | 18 | 62 | 62 | 1 | 1 |
| choice() |  | 0% |  | 0% | 14 | 14 | 56 | 56 | 1 | 1 |
| initializer_list() |  | 0% |  | 0% | 19 | 19 | 65 | 65 | 1 | 1 |
| statement_list() |  | 0% |  | 0% | 46 | 46 | 46 | 46 | 1 | 1 |
| return_statement() |  | 0% |  | 0% | 33 | 33 | 49 | 49 | 1 | 1 |
| direct_declarator() |   | 46% |   | 28% | 33 | 39 | 51 | 108 | 0 | 1 |
| partial() |  | 0% |  | 0% | 14 | 14 | 49 | 49 | 1 | 1 |
| primary_expr() |   | 64% |   | 53% | 27 | 45 | 46 | 150 | 0 | 1 |
| quantifier() |  | 0% |  | 0% | 15 | 15 | 53 | 53 | 1 | 1 |
| self_change_op() |  | 0% |  | 0% | 15 | 15 | 53 | 53 | 1 | 1 |
| wildcard_expr() |  | 0% |  | 0% | 12 | 12 | 48 | 48 | 1 | 1 |
| evaluated_function_expr() |   | 25% |   | 4% | 34 | 35 | 37 | 54 | 0 | 1 |
| assert_statement() |   | 50% |   | 24% | 26 | 27 | 34 | 91 | 0 | 1 |
| parameter_list() |  | 0% |  | 0% | 14 | 14 | 52 | 52 | 1 | 1 |
| partial_list() |  | 0% |  | 0% | 14 | 14 | 52 | 52 | 1 | 1 |
| field_declaration() |  | 0% |  | 0% | 10 | 10 | 44 | 44 | 1 | 1 |
| declaration_unit() |  | 0% |  | 0% | 13 | 13 | 47 | 47 | 1 | 1 |
| direct_abstract_declarator() |  | 0% |  | 0% | 10 | 10 | 41 | 41 | 1 | 1 |
| iterative_statement() |  | 0% |  | 0% | 11 | 11 | 45 | 45 | 1 | 1 |
| skew_factor() |  | 0% |  | 0% | 10 | 10 | 38 | 38 | 1 | 1 |
| designator_list() |  | 0% |  | 0% | 13 | 13 | 46 | 46 | 1 | 1 |
| designation() |  | 0% |  | 0% | 8 | 8 | 36 | 36 | 1 | 1 |
| expr_statement() |  | 0% |  | 0% | 8 | 8 | 36 | 36 | 1 | 1 |
| synpred89_PragmaString_fragment() |  | 0% |  | 0% | 18 | 18 | 31 | 31 | 1 | 1 |
| ifThenElse_expr() |   | 57% |   | 38% | 17 | 21 | 22 | 66 | 0 | 1 |
| parameter() |  | 0% |  | 0% | 6 | 6 | 30 | 30 | 1 | 1 |
| empty_statement() |  | 0% |  | 0% | 6 | 6 | 28 | 28 | 1 | 1 |
| prefix() |  | 0% |  | 0% | 8 | 8 | 26 | 26 | 1 | 1 |
| expr() |   | 58% |   | 45% | 28 | 34 | 24 | 57 | 0 | 1 |
| program_name() |  | 0% |  | 0% | 6 | 6 | 26 | 26 | 1 | 1 |
| ignored() |  | 0% |  | 0% | 6 | 6 | 26 | 26 | 1 | 1 |
| synpred93_PragmaString_fragment() |  | 0% |  | 0% | 10 | 10 | 22 | 22 | 1 | 1 |
| synpred21_PragmaString_fragment() |  | 0% |  | 0% | 10 | 10 | 28 | 28 | 1 | 1 |
| synpred24_PragmaString_fragment() |  | 0% |  | 0% | 13 | 13 | 24 | 24 | 1 | 1 |
| pointer() |  | 0% |  | 0% | 4 | 4 | 21 | 21 | 1 | 1 |
| logical_or_expr() |   | 61% |   | 46% | 10 | 14 | 16 | 53 | 0 | 1 |
| assign_operator() |   | 45% |   | 39% | 9 | 10 | 17 | 26 | 0 | 1 |
| declarator_suffix() |   | 76% |   | 47% | 32 | 33 | 12 | 48 | 0 | 1 |
| declarator() |   | 68% |   | 40% | 10 | 11 | 13 | 47 | 0 | 1 |
| postfix_expr() |  | 76% |   | 65% | 7 | 15 | 12 | 52 | 0 | 1 |
| synpred125_PragmaString_fragment() | | 0% |  | 0% | 5 | 5 | 8 | 8 | 1 | 1 |
| simple_type() |  | 66% |   | 50% | 7 | 10 | 8 | 26 | 0 | 1 |
| multi_operator() |  | 62% |   | 50% | 4 | 7 | 8 | 26 | 0 | 1 |
| equality_operator() |  | 61% |   | 50% | 3 | 6 | 8 | 26 | 0 | 1 |
| multi_expr() |  | 82% |   | 72% | 8 | 17 | 9 | 60 | 0 | 1 |
| synpred131_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred71_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred89_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred76_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred126_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred125_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred140_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred132_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred93_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred77_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred134_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred80_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred21_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred24_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred138_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred114_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred136_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred95_PragmaString() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| collective_invariant_statement() |  | 84% |   | 77% | 6 | 14 | 5 | 52 | 0 | 1 |
| joint_invariant_statement() |  | 84% |   | 77% | 6 | 14 | 5 | 52 | 0 | 1 |
| relational_operator() |  | 68% |   | 57% | 5 | 8 | 8 | 26 | 0 | 1 |
| additive_operator() |  | 65% |   | 70% | 2 | 6 | 8 | 26 | 0 | 1 |
| joint_assert_statement() |  | 86% |   | 81% | 5 | 14 | 5 | 52 | 0 | 1 |
| invariant_statement() |  | 84% |   | 50% | 11 | 12 | 5 | 47 | 0 | 1 |
| additive_expr() |  | 86% |   | 78% | 7 | 17 | 5 | 62 | 0 | 1 |
| relational_expr() |  | 85% |   | 81% | 6 | 17 | 5 | 55 | 0 | 1 |
| collective_assert_statement() |  | 85% |   | 82% | 4 | 12 | 5 | 47 | 0 | 1 |
| equality_expr() |  | 85% |   | 79% | 6 | 15 | 5 | 55 | 0 | 1 |
| argument_list() |  | 85% |   | 62% | 10 | 14 | 5 | 53 | 0 | 1 |
| logical_and_expr() |  | 85% |   | 81% | 5 | 14 | 5 | 53 | 0 | 1 |
| assume_statement() |  | 83% |   | 50% | 9 | 10 | 5 | 42 | 0 | 1 |
| spec_expr() |  | 82% |   | 78% | 4 | 10 | 5 | 38 | 0 | 1 |
| synpred114_PragmaString_fragment() | | 0% |  | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| argument() |  | 82% |   | 50% | 7 | 8 | 5 | 38 | 0 | 1 |
| synpred80_PragmaString_fragment() | | 0% |  | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| synpred95_PragmaString_fragment() | | 0% |  | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| synpred126_PragmaString_fragment() | | 0% |  | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| synpred100_PragmaString_fragment() | | 64% |  | 33% | 3 | 4 | 5 | 13 | 0 | 1 |
| synpred71_PragmaString_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred76_PragmaString_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred77_PragmaString_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred131_PragmaString_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred132_PragmaString_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred134_PragmaString_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred136_PragmaString_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred138_PragmaString_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred140_PragmaString_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred142_PragmaString() | | 74% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred100_PragmaString() | | 74% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred122_PragmaString() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred66_PragmaString() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred78_PragmaString() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred65_PragmaString() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred144_PragmaString() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred112_PragmaString() | | 76% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred62_PragmaString() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred63_PragmaString() | | 78% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| setTreeAdaptor(TreeAdaptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| synpred78_PragmaString_fragment() | | 93% |   | 50% | 3 | 4 | 0 | 7 | 0 | 1 |
| getDelegates() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getTreeAdaptor() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| synpred112_PragmaString_fragment() | | 95% | | 50% | 2 | 3 | 0 | 9 | 0 | 1 |
| getTokenNames() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getGrammarFileName() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| synpred65_PragmaString_fragment() | | 95% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred66_PragmaString_fragment() | | 95% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred122_PragmaString_fragment() | | 95% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred142_PragmaString_fragment() | | 95% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| synpred144_PragmaString_fragment() | | 92% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| static {...} |  | 100% | | n/a | 0 | 1 | 0 | 506 | 0 | 1 |
| synpred62_PragmaString_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred63_PragmaString_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| PragmaStringParser(TokenStream, RecognizerSharedState) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| PragmaStringParser(TokenStream) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |