| mpi_expression() |   | 30% |   | 19% | 175 | 198 | 293 | 507 | 0 | 1 |
| unaryExpression() |   | 40% |   | 24% | 176 | 209 | 194 | 377 | 0 | 1 |
| extendedQuantification() |   | 29% |   | 18% | 106 | 119 | 189 | 322 | 0 | 1 |
| loop_allocation() |  | 0% |  | 0% | 36 | 36 | 122 | 122 | 1 | 1 |
| conditionalExpression() |   | 29% |   | 16% | 120 | 127 | 72 | 111 | 0 | 1 |
| primaryExpression() |   | 43% |   | 34% | 52 | 72 | 94 | 189 | 0 | 1 |
| assignmentExpression() |   | 40% |   | 30% | 80 | 96 | 77 | 128 | 0 | 1 |
| loop_variant() |  | 0% |  | 0% | 30 | 30 | 102 | 102 | 1 | 1 |
| logicalOrExpression() |   | 23% |   | 6% | 82 | 86 | 58 | 91 | 0 | 1 |
| completeness_clause() |  | 14% |  | 5% | 28 | 29 | 87 | 106 | 0 | 1 |
| event() |   | 55% |   | 51% | 42 | 68 | 72 | 147 | 0 | 1 |
| logicalImpliesExpression() |   | 48% |   | 18% | 90 | 99 | 40 | 116 | 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 |
| allocation_clause() |  | 19% |   | 9% | 21 | 22 | 64 | 81 | 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 |
| synpred80_AcslParser_fragment() |  | 0% |  | 0% | 65 | 65 | 38 | 38 | 1 | 1 |
| logicalEquivExpression() |   | 51% |   | 18% | 77 | 86 | 25 | 91 | 0 | 1 |
| logicalXorExpression() |   | 51% |   | 18% | 77 | 86 | 25 | 91 | 0 | 1 |
| quantifierExpression() |   | 60% |   | 48% | 29 | 43 | 44 | 142 | 0 | 1 |
| id_list() |  | 0% |  | 0% | 21 | 21 | 60 | 60 | 1 | 1 |
| constant() |   | 61% |   | 52% | 34 | 57 | 42 | 136 | 0 | 1 |
| synpred87_AcslParser_fragment() |  | 0% |  | 0% | 58 | 58 | 32 | 32 | 1 | 1 |
| directAbstractDeclarator() |   | 44% |   | 33% | 23 | 30 | 47 | 100 | 0 | 1 |
| synpred85_AcslParser_fragment() |  | 25% |   | 8% | 62 | 63 | 22 | 40 | 0 | 1 |
| loop_assigns() |  | 0% |  | 0% | 10 | 10 | 45 | 45 | 1 | 1 |
| inclusiveOrExpression() |   | 35% |   | 25% | 17 | 21 | 35 | 66 | 0 | 1 |
| built_in_logic_type() |  | 21% |   | 14% | 18 | 19 | 42 | 56 | 0 | 1 |
| synpred82_AcslParser_fragment() |  | 21% |   | 7% | 60 | 61 | 19 | 32 | 0 | 1 |
| partial_contract_block() |   | 65% |   | 40% | 67 | 82 | 19 | 100 | 0 | 1 |
| synpred89_AcslParser_fragment() |  | 22% |   | 8% | 56 | 57 | 19 | 32 | 0 | 1 |
| logicalAndExpression() |   | 67% |   | 37% | 75 | 86 | 20 | 91 | 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 |
| simple_clause() |   | 59% |   | 52% | 25 | 40 | 29 | 92 | 0 | 1 |
| waitsfor_clause() |  | 0% |  | 0% | 8 | 8 | 38 | 38 | 1 | 1 |
| abstractDeclarator() |   | 59% |   | 46% | 19 | 30 | 37 | 101 | 0 | 1 |
| exclusiveOrExpression() |   | 40% |   | 33% | 12 | 16 | 32 | 63 | 0 | 1 |
| andExpression() |   | 40% |   | 33% | 12 | 16 | 32 | 63 | 0 | 1 |
| variable_ident_base() |   | 45% |   | 28% | 15 | 19 | 28 | 64 | 0 | 1 |
| contract() |   | 64% |   | 51% | 31 | 45 | 30 | 82 | 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 |
| behavior_body() |   | 68% |   | 52% | 53 | 74 | 13 | 67 | 0 | 1 |
| terminates_clause() |  | 25% |  | 7% | 7 | 8 | 27 | 38 | 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 |
| synpred156_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 |
| 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 |
| mpivalid_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| max_key() |  | 0% |  | 0% | 6 | 6 | 24 | 24 | 1 | 1 |
| product_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 |
| synpred91_AcslParser_fragment() |   | 52% |   | 32% | 53 | 56 | 14 | 32 | 0 | 1 |
| synpred159_AcslParser_fragment() |  | 0% |  | 0% | 9 | 9 | 24 | 24 | 1 | 1 |
| synpred160_AcslParser_fragment() |  | 0% |  | 0% | 9 | 9 | 24 | 24 | 1 | 1 |
| assignmentExpression_opt() |  | 46% |   | 27% | 24 | 27 | 16 | 38 | 0 | 1 |
| loop_contract_block() |   | 67% |   | 52% | 17 | 24 | 23 | 84 | 0 | 1 |
| term() |   | 70% |   | 50% | 59 | 73 | 14 | 49 | 0 | 1 |
| synpred126_AcslParser_fragment() |  | 0% |  | 0% | 9 | 9 | 21 | 21 | 1 | 1 |
| synpred128_AcslParser_fragment() |  | 0% |  | 0% | 9 | 9 | 21 | 21 | 1 | 1 |
| synpred139_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 |
| constantExpression() | | 0% |  | 0% | 4 | 4 | 21 | 21 | 1 | 1 |
| synpred155_AcslParser_fragment() | | 18% |  | 6% | 8 | 9 | 17 | 24 | 0 | 1 |
| synpred127_AcslParser_fragment() | | 14% |  | 6% | 8 | 9 | 17 | 21 | 0 | 1 |
| synpred10_AcslParser_fragment() | | 0% |  | 0% | 8 | 8 | 23 | 23 | 1 | 1 |
| behavior_clause() |  | 72% |   | 64% | 15 | 26 | 14 | 56 | 0 | 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 |
| 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 |
| min_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% | 41 | 51 | 8 | 57 | 0 | 1 |
| postfixExpression() |  | 90% |   | 78% | 16 | 42 | 5 | 141 | 0 | 1 |
| synpred157_AcslParser_fragment() | | 23% |  | 8% | 6 | 7 | 12 | 18 | 0 | 1 |
| synpred161_AcslParser_fragment() | | 23% |  | 8% | 6 | 7 | 12 | 18 | 0 | 1 |
| bitwiseImpliesExpression() |  | 85% |   | 63% | 36 | 53 | 9 | 73 | 0 | 1 |
| rangeExpression() |  | 85% |   | 66% | 32 | 53 | 9 | 67 | 0 | 1 |
| c_basic_type() | | 60% |   | 40% | 8 | 11 | 8 | 26 | 0 | 1 |
| synpred158_AcslParser_fragment() | | 0% |  | 0% | 5 | 5 | 12 | 12 | 1 | 1 |
| mpi_collective_block() |  | 86% |   | 73% | 11 | 22 | 5 | 74 | 0 | 1 |
| synpred94_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 |
| synpred12_AcslParser_fragment() | | 0% |  | 0% | 4 | 4 | 13 | 13 | 1 | 1 |
| synpred71_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 |
| true_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 |
| col_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 |
| assert_key() | | 61% |   | 40% | 5 | 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 |
| access_key() | | 61% |   | 60% | 3 | 6 | 7 | 24 | 0 | 1 |
| read_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 |
| synpred76_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 |
| named_behavior() |  | 84% |   | 77% | 5 | 12 | 5 | 49 | 0 | 1 |
| event_list() |  | 82% |   | 80% | 5 | 14 | 6 | 52 | 0 | 1 |
| synpred8_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred118_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred128_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 |
| synpred158_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred111_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred23_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred117_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred107_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred68_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred25_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred104_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred46_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred96_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred105_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred126_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred17_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred56_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred95_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred140_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred34_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred71_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred67_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred160_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred94_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred146_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred87_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred11_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred21_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred159_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred139_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred12_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred80_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| synpred10_AcslParser() | | 0% | | 0% | 2 | 2 | 11 | 11 | 1 | 1 |
| bitwiseEquivExpression() |  | 87% |   | 75% | 8 | 17 | 5 | 66 | 0 | 1 |
| synpred154_AcslParser_fragment() | | 31% |  | 12% | 4 | 5 | 7 | 12 | 0 | 1 |
| synpred119_AcslParser_fragment() | | 29% |  | 12% | 4 | 5 | 7 | 11 | 0 | 1 |
| synpred120_AcslParser_fragment() | | 29% |  | 12% | 4 | 5 | 7 | 11 | 0 | 1 |
| synpred123_AcslParser_fragment() | | 29% |  | 12% | 4 | 5 | 7 | 11 | 0 | 1 |
| synpred17_AcslParser_fragment() | | 0% |  | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| synpred117_AcslParser_fragment() | | 0% |  | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| synpred140_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% |   | 50% | 9 | 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 |
| mpicommrank_key() |  | 77% |  | 78% | 3 | 8 | 6 | 31 | 0 | 1 |
| bitequiv_op() |  | 77% |  | 78% | 3 | 8 | 5 | 33 | 0 | 1 |
| assumes_key() | | 70% |  | 80% | 2 | 6 | 6 | 24 | 0 | 1 |
| requires_key() | | 70% |  | 80% | 2 | 6 | 6 | 24 | 0 | 1 |
| valid_key() | | 70% |  | 80% | 2 | 6 | 6 | 24 | 0 | 1 |
| call_key() | | 70% |  | 80% | 2 | 6 | 6 | 24 | 0 | 1 |
| dependson_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 |
| synpred34_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| synpred56_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 |
| bitimplies_op() | | 74% |  | 80% | 2 | 6 | 5 | 27 | 0 | 1 |
| pure_function() | | 74% |  | 80% | 2 | 6 | 5 | 27 | 0 | 1 |
| synpred68_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| synpred95_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| synpred96_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| synpred104_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| synpred105_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| synpred111_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| synpred112_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 |
| assumes_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 |
| synpred8_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| synpred107_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| synpred118_AcslParser_fragment() | | 0% |  | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| logic_function_contract() |  | 86% |  | 94% | 1 | 10 | 5 | 44 | 0 | 1 |
| synpred11_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| synpred21_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| synpred23_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| synpred59_AcslParser_fragment() | | 59% |  | 33% | 3 | 4 | 5 | 10 | 0 | 1 |
| synpred60_AcslParser_fragment() | | 59% |  | 33% | 3 | 4 | 5 | 10 | 0 | 1 |
| synpred103_AcslParser_fragment() | | 80% |   | 81% | 3 | 12 | 3 | 23 | 0 | 1 |
| synpred25_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred33_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred46_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred67_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred146_AcslParser_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred48_AcslParser_fragment() | | 67% |  | 33% | 3 | 4 | 2 | 7 | 0 | 1 |
| synpred113_AcslParser_fragment() | | 67% |  | 33% | 3 | 4 | 2 | 7 | 0 | 1 |
| synpred27_AcslParser_fragment() | | 58% | | 25% | 2 | 3 | 2 | 6 | 0 | 1 |
| synpred125_AcslParser_fragment() | | 93% |   | 50% | 8 | 9 | 0 | 21 | 0 | 1 |
| synpred59_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred52_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred151_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred161_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred127_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred45_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred157_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred48_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred155_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred76_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred27_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred154_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred120_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred113_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred156_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred123_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred77_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred119_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred60_AcslParser() | | 84% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred162_AcslParser_fragment() | | 93% |   | 50% | 6 | 7 | 0 | 18 | 0 | 1 |
| synpred108_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred13_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred89_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred92_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred102_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred82_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred53_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred152_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred63_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred22_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred32_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred62_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred38_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred167_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred134_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred18_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred55_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred93_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred162_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred1_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred124_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred114_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred147_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred66_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred135_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred125_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred16_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred4_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred85_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred106_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred145_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred51_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred61_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred166_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred110_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred109_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred7_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred91_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred50_AcslParser() | | 86% | | 50% | 1 | 2 | 2 | 11 | 0 | 1 |
| synpred65_AcslParser_fragment() | | 94% |   | 56% | 7 | 9 | 0 | 18 | 0 | 1 |
| synpred16_AcslParser_fragment() | | 93% |   | 50% | 5 | 6 | 0 | 12 | 0 | 1 |
| synpred2_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred69_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred122_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred148_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred121_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred58_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred165_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred3_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred26_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred65_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred75_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred163_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred103_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred54_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred153_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred70_AcslParser() | | 88% | | 100% | 0 | 2 | 2 | 11 | 0 | 1 |
| synpred61_AcslParser_fragment() | | 93% |   | 50% | 4 | 5 | 0 | 11 | 0 | 1 |
| synpred62_AcslParser_fragment() | | 93% |   | 50% | 4 | 5 | 0 | 11 | 0 | 1 |
| synpred63_AcslParser_fragment() | | 93% |   | 50% | 4 | 5 | 0 | 11 | 0 | 1 |
| synpred152_AcslParser_fragment() | | 93% |   | 50% | 4 | 5 | 0 | 11 | 0 | 1 |
| setTreeAdaptor(TreeAdaptor) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| synpred75_AcslParser_fragment() | | 95% |  | 62% | 3 | 5 | 0 | 14 | 0 | 1 |
| synpred121_AcslParser_fragment() | | 95% |  | 62% | 3 | 5 | 0 | 11 | 0 | 1 |
| synpred153_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 |
| synpred58_AcslParser_fragment() | | 95% |  | 66% | 2 | 4 | 0 | 10 | 0 | 1 |
| synpred93_AcslParser_fragment() | | 95% | | 50% | 2 | 3 | 0 | 11 | 0 | 1 |
| synpred102_AcslParser_fragment() | | 95% | | 50% | 2 | 3 | 0 | 11 | 0 | 1 |
| synpred92_AcslParser_fragment() | | 94% | | 50% | 2 | 3 | 0 | 10 | 0 | 1 |
| synpred106_AcslParser_fragment() | | 93% | | 50% | 2 | 3 | 0 | 7 | 0 | 1 |
| synpred108_AcslParser_fragment() | | 93% | | 50% | 2 | 3 | 0 | 7 | 0 | 1 |
| synpred109_AcslParser_fragment() | | 93% | | 50% | 2 | 3 | 0 | 7 | 0 | 1 |
| synpred110_AcslParser_fragment() | | 93% | | 50% | 2 | 3 | 0 | 7 | 0 | 1 |
| synpred7_AcslParser_fragment() | | 93% | | 50% | 2 | 3 | 0 | 6 | 0 | 1 |
| synpred77_AcslParser_fragment() | | 93% | | 50% | 2 | 3 | 1 | 6 | 0 | 1 |
| synpred134_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 |
| synpred163_AcslParser_fragment() | | 97% | | 75% | 1 | 3 | 0 | 10 | 0 | 1 |
| synpred26_AcslParser_fragment() | | 96% | | 75% | 1 | 3 | 0 | 6 | 0 | 1 |
| synpred4_AcslParser_fragment() | | 95% | | 50% | 1 | 2 | 0 | 7 | 0 | 1 |
| synpred18_AcslParser_fragment() | | 95% | | 50% | 1 | 2 | 0 | 7 | 0 | 1 |
| synpred22_AcslParser_fragment() | | 95% | | 50% | 1 | 2 | 0 | 7 | 0 | 1 |
| synpred1_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred13_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred32_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred45_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| synpred50_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred51_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred52_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| synpred53_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred55_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred66_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred114_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred124_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred135_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred145_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred147_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred151_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| synpred166_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred167_AcslParser_fragment() | | 94% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| synpred38_AcslParser_fragment() | | 92% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| static {...} |  | 100% |  | 100% | 0 | 3 | 0 | 918 | 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 |
| synpred54_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred69_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred70_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred122_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred148_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| synpred165_AcslParser_fragment() | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| AcslParser(TokenStream) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |