| CommonFocusLoopTransformNode.java |  | 0% | | 0% | 54 | 54 | 389 | 389 | 23 | 23 | 1 | 1 |
| CommonFocusOrderedTransformNode.java | | 0% | | 0% | 49 | 49 | 177 | 177 | 18 | 18 | 1 | 1 |
| CommonFocusTransformNode.java | | 0% | | 0% | 29 | 29 | 100 | 100 | 20 | 20 | 1 | 1 |
| CommonFocusAssertTransformNode.java | | 0% | | 0% | 23 | 23 | 87 | 87 | 8 | 8 | 1 | 1 |
| CommonMPIContractAbsentEventNode.java |  | 19% | | 11% | 14 | 18 | 33 | 41 | 5 | 8 | 0 | 1 |
| CommonPredicateNode.java | | 0% | | 0% | 10 | 10 | 25 | 25 | 8 | 8 | 1 | 1 |
| CommonMPIContractExpressionNode.java | | 29% | | 12% | 20 | 26 | 33 | 47 | 5 | 10 | 0 | 1 |
| CommonExtendedQuantifiedExpressionNode.java | | 23% | | 0% | 16 | 22 | 25 | 33 | 5 | 11 | 0 | 1 |
| CommonMPIContractAbsentNode.java | | 18% | | 0% | 11 | 15 | 21 | 26 | 6 | 10 | 0 | 1 |
| CommonAllocationNode.java | | 0% | | 0% | 13 | 13 | 19 | 19 | 8 | 8 | 1 | 1 |
| CommonMemoryEventNode.java | | 27% | | 0% | 14 | 18 | 17 | 24 | 6 | 10 | 0 | 1 |
| CommonMPICollectiveBlockNode.java | | 23% | | 0% | 11 | 15 | 14 | 21 | 4 | 8 | 0 | 1 |
| CommonInsertTransformNode.java | | 0% | | 0% | 7 | 7 | 18 | 18 | 4 | 4 | 1 | 1 |
| CommonObjectOrRegionOfNode.java | | 0% | | 0% | 13 | 13 | 19 | 19 | 10 | 10 | 1 | 1 |
| CommonBehaviorNode.java | | 20% | | 0% | 10 | 14 | 13 | 18 | 3 | 7 | 0 | 1 |
| CommonCallEventNode.java | | 20% | | 0% | 10 | 14 | 13 | 18 | 3 | 7 | 0 | 1 |
| CommonCompletenessNode.java | | 0% | | 0% | 12 | 12 | 16 | 16 | 8 | 8 | 1 | 1 |
| CommonWaitsforNode.java | | 0% | | 0% | 9 | 9 | 14 | 14 | 6 | 6 | 1 | 1 |
| CommonAssignsOrReadsNode.java | | 28% | | 20% | 8 | 13 | 13 | 19 | 4 | 8 | 0 | 1 |
| CommonCompositeEventNode.java | | 28% | | 0% | 7 | 11 | 11 | 17 | 4 | 8 | 0 | 1 |
| CommonInvariantNode.java | | 22% | | 0% | 8 | 11 | 13 | 18 | 4 | 7 | 0 | 1 |
| CommonRequiresNode.java | | 29% | | 0% | 7 | 11 | 10 | 17 | 4 | 8 | 0 | 1 |
| CommonEnsuresNode.java | | 29% | | 0% | 7 | 11 | 10 | 17 | 4 | 8 | 0 | 1 |
| CommonAssumesNode.java | | 22% | | 0% | 6 | 9 | 9 | 13 | 3 | 6 | 0 | 1 |
| CommonTransformNode.java | | 0% | | n/a | 7 | 7 | 13 | 13 | 7 | 7 | 1 | 1 |
| CommonDependsNode.java | | 40% | | 0% | 5 | 9 | 8 | 13 | 2 | 6 | 0 | 1 |
| CommonGuardNode.java | | 40% | | 0% | 5 | 9 | 8 | 13 | 2 | 6 | 0 | 1 |
| CommonMPIConstantNode.java | | 37% | | n/a | 6 | 7 | 8 | 13 | 6 | 7 | 0 | 1 |
| CommonContractNode.java | | 35% | | n/a | 4 | 7 | 8 | 13 | 4 | 7 | 0 | 1 |
| CommonNothingNode.java | | 23% | | n/a | 5 | 7 | 6 | 9 | 5 | 7 | 0 | 1 |
| CommonAnyactNode.java | | 0% | | n/a | 4 | 4 | 6 | 6 | 4 | 4 | 1 | 1 |
| CommonNoactNode.java | | 75% | | n/a | 1 | 4 | 2 | 6 | 1 | 4 | 0 | 1 |
| CommonDependsEventNode.java | | 100% | | n/a | 0 | 4 | 0 | 7 | 0 | 4 | 0 | 1 |