| mpi_expression() |   | 30% |   | 19% | 175 | 198 | 293 | 507 | 0 | 1 |
| unaryExpression() |   | 40% |   | 29% | 146 | 179 | 219 | 402 | 0 | 1 |
| extendedQuantification() |   | 29% |   | 18% | 106 | 119 | 189 | 322 | 0 | 1 |
| loop_allocation() |  | 0% |  | 0% | 36 | 36 | 122 | 122 | 1 | 1 |
| conditionalExpression() |   | 29% |   | 22% | 91 | 98 | 97 | 136 | 0 | 1 |
| primaryExpression() |   | 43% |   | 34% | 52 | 72 | 94 | 189 | 0 | 1 |
| loop_focus_window() |  | 0% |  | 0% | 33 | 33 | 108 | 108 | 1 | 1 |
| assignmentExpression() |   | 40% |   | 30% | 80 | 96 | 77 | 128 | 0 | 1 |
| ordered_contract() |  | 0% |  | 0% | 28 | 28 | 96 | 96 | 1 | 1 |
| loop_variant() |  | 0% |  | 0% | 30 | 30 | 102 | 102 | 1 | 1 |
| logicalOrExpression() |   | 23% |   | 10% | 52 | 56 | 83 | 116 | 0 | 1 |
| completeness_clause() |  | 14% |  | 5% | 28 | 29 | 87 | 106 | 0 | 1 |
| allocation_clause() |  | 0% |  | 0% | 22 | 22 | 81 | 81 | 1 | 1 |
| event() |   | 55% |   | 51% | 42 | 68 | 72 | 147 | 0 | 1 |
| logicalImpliesExpression() |   | 49% |   | 27% | 60 | 69 | 65 | 141 | 0 | 1 |
| absent_event() |   | 62% |   | 47% | 43 | 62 | 49 | 173 | 0 | 1 |
| logic_function_body() |   | 44% |   | 32% | 29 | 37 | 55 | 120 | 0 | 1 |
| multiplicativeExpression() |   | 46% |   | 36% | 26 | 36 | 58 | 122 | 0 | 1 |
| shiftExpression() |   | 30% |   | 24% | 21 | 26 | 59 | 94 | 0 | 1 |
| event_base() |   | 73% |   | 58% | 51 | 84 | 42 | 230 | 0 | 1 |
| loop_behavior() |  | 0% |  | 0% | 19 | 19 | 65 | 65 | 1 | 1 |
| logic_function_clause() |   | 51% |   | 38% | 35 | 44 | 49 | 120 | 0 | 1 |
| loop_clause() |   | 39% |   | 25% | 26 | 31 | 51 | 98 | 0 | 1 |
| synpred88_AcslParser_fragment() |  | 0% |  | 0% | 65 | 65 | 38 | 38 | 1 | 1 |
| loop_focus() |  | 0% |  | 0% | 14 | 14 | 55 | 55 | 1 | 1 |
| logicalEquivExpression() |   | 52% |   | 28% | 47 | 56 | 50 | 116 | 0 | 1 |
| logicalXorExpression() |   | 52% |   | 28% | 47 | 56 | 50 | 116 | 0 | 1 |
| quantifierExpression() |   | 60% |   | 48% | 29 | 43 | 44 | 142 | 0 | 1 |
| id_list() |  | 0% |  | 0% | 21 | 21 | 60 | 60 | 1 | 1 |
| logicalAndExpression() |   | 54% |   | 34% | 45 | 56 | 46 | 116 | 0 | 1 |
| constant() |   | 61% |   | 52% | 34 | 57 | 42 | 136 | 0 | 1 |
| synpred95_AcslParser_fragment() |  | 0% |  | 0% | 58 | 58 | 32 | 32 | 1 | 1 |
| directAbstractDeclarator() |   | 44% |   | 33% | 23 | 30 | 47 | 100 | 0 | 1 |
| contract() |   | 58% |   | 44% | 41 | 55 | 41 | 95 | 0 | 1 |
| focus_assert_spec() |  | 0% |  | 0% | 14 | 14 | 51 | 51 | 1 | 1 |
| synpred93_AcslParser_fragment() |  | 25% |   | 8% | 62 | 63 | 22 | 40 | 0 | 1 |
| loop_assigns() |  | 0% |  | 0% | 10 | 10 | 45 | 45 | 1 | 1 |
| term() |   | 41% |   | 34% | 33 | 43 | 39 | 74 | 0 | 1 |
| inclusiveOrExpression() |   | 35% |   | 25% | 17 | 21 | 35 | 66 | 0 | 1 |
| built_in_logic_type() |  | 21% |   | 14% | 18 | 19 | 42 | 56 | 0 | 1 |
| synpred90_AcslParser_fragment() |  | 21% |   | 7% | 60 | 61 | 19 | 32 | 0 | 1 |
| partial_contract_block() |   | 65% |   | 40% | 67 | 82 | 19 | 100 | 0 | 1 |
| loop_focus_head() |  | 0% |  | 0% | 12 | 12 | 43 | 43 | 1 | 1 |
| synpred97_AcslParser_fragment() |  | 22% |   | 8% | 56 | 57 | 19 | 32 | 0 | 1 |
| variable_ident() |   | 57% |   | 42% | 20 | 29 | 33 | 95 | 0 | 1 |
| castExpression() |   | 48% |   | 52% | 22 | 35 | 33 | 70 | 0 | 1 |
| function_clause() |   | 65% |   | 56% | 23 | 38 | 31 | 98 | 0 | 1 |
| transform_contract_block() |  | 0% |  | 0% | 10 | 10 | 44 | 44 | 1 | 1 |
| waitsfor_clause() |  | 0% |  | 0% | 8 | 8 | 38 | 38 | 1 | 1 |
| abstractDeclarator() |   | 59% |   | 46% | 19 | 30 | 37 | 101 | 0 | 1 |
| simple_clause() |   | 62% |   | 54% | 25 | 40 | 29 | 92 | 0 | 1 |
| exclusiveOrExpression() |   | 40% |   | 33% | 12 | 16 | 32 | 63 | 0 | 1 |
| andExpression() |   | 40% |   | 33% | 12 | 16 | 32 | 63 | 0 | 1 |
| transform() |  | 0% |  | 0% | 8 | 8 | 35 | 35 | 1 | 1 |
| variable_ident_base() |   | 45% |   | 28% | 15 | 19 | 28 | 64 | 0 | 1 |
| integer_type() |  | 0% |  | 0% | 8 | 8 | 31 | 31 | 1 | 1 |
| real_type() |  | 0% |  | 0% | 8 | 8 | 31 | 31 | 1 | 1 |
| false_key() |  | 0% |  | 0% | 8 | 8 | 31 | 31 | 1 | 1 |
| anyact_key() |  | 0% |  | 0% | 8 | 8 | 31 | 31 | 1 | 1 |
| loop_contract_block() |   | 62% |   | 45% | 25 | 32 | 32 | 102 | 0 | 1 |
| behavior_body() |   | 68% |   | 52% | 54 | 74 | 13 | 67 | 0 | 1 |
| transform_contract() |  | 0% |  | 0% | 6 | 6 | 30 | 30 | 1 | 1 |
| terminates_clause() |  | 25% |  | 7% | 7 | 8 | 27 | 38 | 0 | 1 |
| behavior_clause() |   | 60% |   | 52% | 18 | 26 | 21 | 56 | 0 | 1 |
| completeness_clause_block() |  | 27% |  | 7% | 7 | 8 | 23 | 35 | 0 | 1 |
| boolean_type() |  | 23% |  | 14% | 7 | 8 | 23 | 31 | 0 | 1 |
| exists_key() |  | 23% |  | 14% | 7 | 8 | 23 | 31 | 0 | 1 |
| null_key() |  | 23% |  | 14% | 7 | 8 | 23 | 31 | 0 | 1 |
| binder() |   | 59% |   | 33% | 19 | 25 | 22 | 67 | 0 | 1 |
| synpred164_AcslParser_fragment() |  | 16% |  | 5% | 10 | 11 | 22 | 30 | 0 | 1 |
| alloc_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| behaviors_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| completes_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| decreases_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| disjoint_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| frees_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| focus_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| ordered_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| variant_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| waitsfor_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| predicate_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| empty_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| let_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| old_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| with_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| region_of_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| mpiextent_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| mpioffset_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| max_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| min_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| numof_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| argumentExpressionList() |   | 67% |   | 54% | 28 | 41 | 19 | 73 | 0 | 1 |
| synpred99_AcslParser_fragment() |   | 52% |   | 32% | 53 | 56 | 14 | 32 | 0 | 1 |
| synpred167_AcslParser_fragment() |  | 0% |  | 0% | 9 | 9 | 24 | 24 | 1 | 1 |
| assignmentExpression_opt() |  | 46% |   | 27% | 24 | 27 | 16 | 38 | 0 | 1 |
| synpred134_AcslParser_fragment() |  | 0% |  | 0% | 9 | 9 | 21 | 21 | 1 | 1 |
| synpred135_AcslParser_fragment() |  | 0% |  | 0% | 9 | 9 | 21 | 21 | 1 | 1 |
| synpred147_AcslParser_fragment() | | 0% |  | 0% | 10 | 10 | 22 | 22 | 1 | 1 |
| full_contract_block() |  | 81% |   | 66% | 46 | 84 | 11 | 107 | 0 | 1 |
| logic_type_expr() | | 26% |  | 10% | 5 | 6 | 21 | 30 | 0 | 1 |
| type_expr() |  | 69% |   | 58% | 15 | 23 | 18 | 65 | 0 | 1 |
| transform_spec() | | 0% |  | 0% | 4 | 4 | 21 | 21 | 1 | 1 |
| constantExpression() | | 0% |  | 0% | 4 | 4 | 21 | 21 | 1 | 1 |
| synpred163_AcslParser_fragment() | | 18% |  | 6% | 8 | 9 | 17 | 24 | 0 | 1 |
| synpred168_AcslParser_fragment() | | 18% |  | 6% | 8 | 9 | 17 | 24 | 0 | 1 |
| synpred136_AcslParser_fragment() | | 14% |  | 6% | 8 | 9 | 17 | 21 | 0 | 1 |
| synpred13_AcslParser_fragment() | | 0% |  | 0% | 8 | 8 | 23 | 23 | 1 | 1 |
| mpi_collective_kind() |  | 67% |   | 64% | 10 | 19 | 14 | 56 | 0 | 1 |
| relationalExpression() |  | 80% |   | 71% | 17 | 36 | 12 | 98 | 0 | 1 |
| terminates_key() | | 30% |  | 20% | 5 | 6 | 16 | 24 | 0 | 1 |
| inter_key() | | 30% |  | 20% | 5 | 6 | 16 | 24 | 0 | 1 |
| union_key() | | 30% |  | 20% | 5 | 6 | 16 | 24 | 0 | 1 |
| object_of_key() | | 30% |  | 20% | 5 | 6 | 16 | 24 | 0 | 1 |
| mpiagree_key() | | 30% |  | 20% | 5 | 6 | 16 | 24 | 0 | 1 |
| mpiequals_key() | | 30% |  | 20% | 5 | 6 | 16 | 24 | 0 | 1 |
| mpivalid_key() | | 30% |  | 20% | 5 | 6 | 16 | 24 | 0 | 1 |
| mpiregion_key() | | 30% |  | 20% | 5 | 6 | 16 | 24 | 0 | 1 |
| mpireduce_key() | | 30% |  | 20% | 5 | 6 | 16 | 24 | 0 | 1 |
| absent_event_sendto_key() | | 30% |  | 20% | 5 | 6 | 16 | 24 | 0 | 1 |
| product_key() | | 30% |  | 20% | 5 | 6 | 16 | 24 | 0 | 1 |
| binders() |  | 63% |   | 50% | 9 | 14 | 15 | 52 | 0 | 1 |
| mpi_constant() |  | 61% |   | 60% | 8 | 14 | 14 | 47 | 0 | 1 |
| contract_block() |  | 61% |   | 56% | 8 | 14 | 13 | 47 | 0 | 1 |
| rangeSuffix() | | 50% |   | 38% | 7 | 10 | 14 | 37 | 0 | 1 |
| absent_event_optional_argument() |  | 80% |   | 52% | 42 | 52 | 8 | 57 | 0 | 1 |
| postfixExpression() |  | 90% |   | 78% | 16 | 42 | 5 | 141 | 0 | 1 |
| synpred165_AcslParser_fragment() | | 23% |  | 8% | 6 | 7 | 12 | 18 | 0 | 1 |
| synpred169_AcslParser_fragment() | | 23% |  | 8% | 6 | 7 | 12 | 18 | 0 | 1 |
| bitwiseImpliesExpression() |  | 85% |   | 62% | 37 | 54 | 9 | 73 | 0 | 1 |
| rangeExpression() |  | 85% |   | 66% | 33 | 54 | 9 | 67 | 0 | 1 |
| c_basic_type() | | 60% |   | 40% | 8 | 11 | 8 | 26 | 0 | 1 |
| synpred166_AcslParser_fragment() | | 0% |  | 0% | 5 | 5 | 12 | 12 | 1 | 1 |
| mpi_collective_block() |  | 86% |   | 73% | 11 | 22 | 5 | 74 | 0 | 1 |
| synpred102_AcslParser_fragment() | | 0% |  | 0% | 6 | 6 | 10 | 10 | 1 | 1 |
| specifierQualifierList() |  | 75% |   | 64% | 11 | 18 | 9 | 46 | 0 | 1 |
| pointer() |  | 73% |   | 70% | 6 | 13 | 9 | 46 | 0 | 1 |
| synpred15_AcslParser_fragment() | | 0% |  | 0% | 4 | 4 | 13 | 13 | 1 | 1 |
| synpred17_AcslParser_fragment() | | 0% |  | 0% | 5 | 5 | 8 | 8 | 1 | 1 |
| synpred79_AcslParser_fragment() | | 0% |  | 0% | 4 | 4 | 13 | 13 | 1 | 1 |
| remoteExpression() |  | 85% |   | 73% | 9 | 18 | 5 | 63 | 0 | 1 |
| unary_op() | | 66% |   | 61% | 5 | 10 | 8 | 26 | 0 | 1 |
| result_key() |  | 71% |   | 64% | 4 | 8 | 7 | 31 | 0 | 1 |
| pure_key() |  | 71% |   | 64% | 4 | 8 | 7 | 31 | 0 | 1 |
| both_key() |  | 71% |   | 64% | 4 | 8 | 7 | 31 | 0 | 1 |
| p2p_key() |  | 71% |   | 64% | 4 | 8 | 7 | 31 | 0 | 1 |
| mpicommsize_key() |  | 71% |   | 64% | 4 | 8 | 7 | 31 | 0 | 1 |
| assigns_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| assumes_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| assert_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| behavior_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| ensures_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| invariant_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| loop_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| logic_specifier_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| executeswhen_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| reads_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| remote_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| call_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| write_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| mpicollective_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| mpiemptyin_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| absent_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| after_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| until_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| absent_event_sendfrom_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| absent_event_exit_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| lambda_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| sum_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| synpred84_AcslParser_fragment() | | 26% |  | 12% | 4 | 5 | 10 | 14 | 0 | 1 |
| additiveExpression() |  | 90% |   | 77% | 11 | 26 | 5 | 94 | 0 | 1 |
| relOp() | | 70% |   | 72% | 4 | 10 | 8 | 26 | 0 | 1 |
| synpred5_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred8_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred29_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred13_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred102_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred112_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred33_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred79_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred148_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred42_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred167_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred134_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred88_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred18_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred25_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred147_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred15_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred104_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred135_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred76_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred125_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred115_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred154_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred126_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred75_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred17_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred95_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred31_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred64_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred120_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred41_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred14_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred113_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred103_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred166_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred11_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred54_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred119_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred60_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| named_behavior() |  | 84% |   | 77% | 5 | 12 | 5 | 49 | 0 | 1 |
| event_list() |  | 82% |   | 80% | 5 | 14 | 6 | 52 | 0 | 1 |
| bitwiseEquivExpression() |  | 87% |   | 75% | 8 | 17 | 5 | 66 | 0 | 1 |
| synpred162_AcslParser_fragment() | | 31% |  | 12% | 4 | 5 | 7 | 12 | 0 | 1 |
| synpred127_AcslParser_fragment() | | 29% |  | 12% | 4 | 5 | 7 | 11 | 0 | 1 |
| synpred128_AcslParser_fragment() | | 29% |  | 12% | 4 | 5 | 7 | 11 | 0 | 1 |
| synpred131_AcslParser_fragment() | | 29% |  | 12% | 4 | 5 | 7 | 11 | 0 | 1 |
| synpred25_AcslParser_fragment() | | 0% |  | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| synpred125_AcslParser_fragment() | | 0% |  | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| synpred148_AcslParser_fragment() | | 0% |  | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| directAbstractDeclaratorSuffix() |  | 83% |   | 77% | 4 | 10 | 5 | 42 | 0 | 1 |
| loop_invariant() |  | 82% |   | 77% | 4 | 10 | 5 | 44 | 0 | 1 |
| assert_contract() |  | 82% |   | 77% | 4 | 10 | 5 | 42 | 0 | 1 |
| forall_key() |  | 77% |  | 78% | 3 | 8 | 6 | 31 | 0 | 1 |
| nothing_key() |  | 77% |  | 78% | 3 | 8 | 6 | 31 | 0 | 1 |
| true_key() |  | 77% |  | 78% | 3 | 8 | 6 | 31 | 0 | 1 |
| col_key() |  | 77% |  | 78% | 3 | 8 | 6 | 31 | 0 | 1 |
| mpicommrank_key() |  | 77% |  | 78% | 3 | 8 | 6 | 31 | 0 | 1 |
| bitequiv_op() |  | 77% |  | 78% | 3 | 8 | 5 | 33 | 0 | 1 |
| requires_key() | | 70% |  | 80% | 2 | 6 | 6 | 24 | 0 | 1 |
| valid_key() | | 70% |  | 80% | 2 | 6 | 6 | 24 | 0 | 1 |
| access_key() | | 70% |  | 80% | 2 | 6 | 6 | 24 | 0 | 1 |
| dependson_key() | | 70% |  | 80% | 2 | 6 | 6 | 24 | 0 | 1 |
| read_key() | | 70% |  | 80% | 2 | 6 | 6 | 24 | 0 | 1 |
| mpiemptyout_key() | | 70% |  | 80% | 2 | 6 | 6 | 24 | 0 | 1 |
| absent_event_enter_key() | | 70% |  | 80% | 2 | 6 | 6 | 24 | 0 | 1 |
| synpred42_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| synpred64_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| guards_clause() |  | 82% |  | 78% | 3 | 8 | 5 | 38 | 0 | 1 |
| assigns_clause() |  | 82% |  | 78% | 3 | 8 | 5 | 38 | 0 | 1 |
| ensures_clause() |  | 82% |  | 78% | 3 | 8 | 5 | 38 | 0 | 1 |
| reads_clause() |  | 82% |  | 78% | 3 | 8 | 5 | 38 | 0 | 1 |
| assumes_clause() |  | 82% |  | 78% | 3 | 8 | 5 | 38 | 0 | 1 |
| bitimplies_op() | | 74% |  | 80% | 2 | 6 | 5 | 27 | 0 | 1 |
| pure_function() | | 74% |  | 80% | 2 | 6 | 5 | 27 | 0 | 1 |
| synpred76_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| synpred103_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| synpred104_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| synpred112_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| synpred113_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| synpred119_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| synpred120_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| function_contract() |  | 86% |   | 84% | 4 | 14 | 5 | 49 | 0 | 1 |
| requires_clause() |  | 84% |  | 85% | 2 | 8 | 5 | 38 | 0 | 1 |
| depends_clause() |  | 84% |  | 85% | 2 | 8 | 5 | 38 | 0 | 1 |
| loop_contract() |  | 79% |  | 80% | 2 | 6 | 5 | 30 | 0 | 1 |
| named_behavior_block() |  | 79% |  | 80% | 2 | 6 | 5 | 30 | 0 | 1 |
| synpred11_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| synpred18_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| synpred115_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| synpred126_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| logic_function_contract() |  | 86% |  | 94% | 1 | 10 | 5 | 44 | 0 | 1 |
| synpred14_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| synpred29_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| synpred31_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| synpred8_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| synpred67_AcslParser_fragment() | | 59% |  | 33% | 3 | 4 | 5 | 10 | 0 | 1 |
| synpred68_AcslParser_fragment() | | 59% |  | 33% | 3 | 4 | 5 | 10 | 0 | 1 |
| synpred111_AcslParser_fragment() | | 80% |   | 81% | 3 | 12 | 3 | 23 | 0 | 1 |
| synpred5_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred33_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred41_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred54_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred60_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred75_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred154_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred56_AcslParser_fragment() | | 67% |  | 33% | 3 | 4 | 2 | 7 | 0 | 1 |
| synpred121_AcslParser_fragment() | | 67% |  | 33% | 3 | 4 | 2 | 7 | 0 | 1 |
| synpred35_AcslParser_fragment() | | 58% | | 25% | 2 | 3 | 2 | 6 | 0 | 1 |
| synpred133_AcslParser_fragment() | | 93% |   | 50% | 8 | 9 | 0 | 21 | 0 | 1 |
| synpred128_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred168_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred53_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred121_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred131_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred127_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred162_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred78_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred35_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred68_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred165_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred136_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred164_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred85_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred56_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred84_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred163_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred67_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred169_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred159_AcslParser() | | 82% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred118_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred99_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred122_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred132_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred59_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred142_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred63_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred117_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred6_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred93_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred1_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred73_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred58_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred114_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred46_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred155_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred26_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred175_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred116_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred4_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred74_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred24_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred160_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred61_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred77_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred133_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred100_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred97_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred110_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred21_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred143_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred170_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred90_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred101_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred30_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred40_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred70_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred10_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred73_AcslParser_fragment() | | 93% |   | 50% | 8 | 9 | 0 | 18 | 0 | 1 |
| synpred170_AcslParser_fragment() | | 93% |   | 50% | 6 | 7 | 0 | 18 | 0 | 1 |
| synpred2_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred69_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred171_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred111_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred62_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred161_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred83_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred66_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred3_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred174_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred130_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred173_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred34_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred71_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred156_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred153_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred129_AcslParser() | | 86% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred24_AcslParser_fragment() | | 93% |   | 50% | 5 | 6 | 0 | 12 | 0 | 1 |
| synpred70_AcslParser_fragment() | | 93% |   | 50% | 4 | 5 | 0 | 11 | 0 | 1 |
| synpred160_AcslParser_fragment() | | 93% |   | 50% | 4 | 5 | 0 | 11 | 0 | 1 |
| setTreeAdaptor(TreeAdaptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| synpred83_AcslParser_fragment() | | 95% |  | 62% | 3 | 5 | 0 | 14 | 0 | 1 |
| synpred69_AcslParser_fragment() | | 95% |  | 62% | 3 | 5 | 0 | 11 | 0 | 1 |
| synpred71_AcslParser_fragment() | | 95% |  | 62% | 3 | 5 | 0 | 11 | 0 | 1 |
| synpred129_AcslParser_fragment() | | 95% |  | 62% | 3 | 5 | 0 | 11 | 0 | 1 |
| synpred161_AcslParser_fragment() | | 95% |  | 62% | 3 | 5 | 0 | 11 | 0 | 1 |
| getDelegates() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getTreeAdaptor() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| synpred66_AcslParser_fragment() | | 95% |  | 66% | 2 | 4 | 0 | 10 | 0 | 1 |
| synpred101_AcslParser_fragment() | | 95% | | 50% | 2 | 3 | 0 | 11 | 0 | 1 |
| synpred110_AcslParser_fragment() | | 95% | | 50% | 2 | 3 | 0 | 11 | 0 | 1 |
| synpred100_AcslParser_fragment() | | 94% | | 50% | 2 | 3 | 0 | 10 | 0 | 1 |
| synpred114_AcslParser_fragment() | | 93% | | 50% | 2 | 3 | 0 | 7 | 0 | 1 |
| synpred116_AcslParser_fragment() | | 93% | | 50% | 2 | 3 | 0 | 7 | 0 | 1 |
| synpred117_AcslParser_fragment() | | 93% | | 50% | 2 | 3 | 0 | 7 | 0 | 1 |
| synpred118_AcslParser_fragment() | | 93% | | 50% | 2 | 3 | 0 | 7 | 0 | 1 |
| synpred10_AcslParser_fragment() | | 93% | | 50% | 2 | 3 | 0 | 6 | 0 | 1 |
| synpred85_AcslParser_fragment() | | 93% | | 50% | 2 | 3 | 1 | 6 | 0 | 1 |
| synpred142_AcslParser_fragment() | | 93% | | 50% | 2 | 3 | 0 | 6 | 0 | 1 |
| getTokenNames() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getGrammarFileName() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| synpred171_AcslParser_fragment() | | 97% | | 75% | 1 | 3 | 0 | 10 | 0 | 1 |
| synpred34_AcslParser_fragment() | | 96% | | 75% | 1 | 3 | 0 | 6 | 0 | 1 |
| synpred6_AcslParser_fragment() | | 95% | | 50% | 1 | 2 | 0 | 7 | 0 | 1 |
| synpred26_AcslParser_fragment() | | 95% | | 50% | 1 | 2 | 0 | 7 | 0 | 1 |
| synpred30_AcslParser_fragment() | | 95% | | 50% | 1 | 2 | 0 | 7 | 0 | 1 |
| synpred1_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred4_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred21_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred40_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred53_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| synpred58_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred59_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred61_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred63_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred74_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred77_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred78_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| synpred122_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred132_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred143_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred155_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred159_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| synpred175_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred46_AcslParser_fragment() | | 92% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| static {...} |  | 100% |  | 100% | 0 | 3 | 0 | 966 | 0 | 1 |
| AcslParser(TokenStream, RecognizerSharedState) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| synpred2_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred3_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred62_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred130_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred153_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred156_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred173_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred174_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| AcslParser(TokenStream) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |