| print(String, PrintStream, boolean) |  | 0% |  | 0% | 10 | 10 | 25 | 25 | 1 | 1 |
| purelyLocalAnalysisForOutgoing() |  | 0% |  | 0% | 10 | 10 | 25 | 25 | 1 | 1 |
| getSoleOutgoing() |   | 35% |   | 50% | 2 | 3 | 2 | 7 | 0 | 1 |
| toString() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setScope(Scope) |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| loopAnalysis() |  | 0% |  | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| setId(int) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| equals(Object) |   | 80% |   | 50% | 2 | 3 | 1 | 3 | 0 | 1 |
| incoming() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| purelyLocalAnalysis() |   | 99% |   | 95% | 2 | 23 | 1 | 53 | 0 | 1 |
| hashCode() |   | 92% |   | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| CommonLocation(CIVLSource, Scope, int) |  | 100% | | n/a | 0 | 1 | 0 | 11 | 0 | 1 |
| setEnterAtomic(boolean) |  | 100% |  | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| setLeaveAtomic(boolean) |  | 100% |  | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| enterAtomic() |  | 100% |  | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| enterAtom() |  | 100% |  | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| leaveAtomic() |  | 100% |  | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| leaveAtom() |  | 100% |  | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| addIncoming(Statement) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOutgoing(Statement) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getIncoming(int) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getOutgoing(int) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| removeIncoming(Statement) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| removeOutgoing(Statement) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getNumIncoming() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getNumOutgoing() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setImpactScopeOfAtomicOrAtomBlock(Scope) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setLoopPossible(boolean) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| allOutgoingPurelyLocal() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| atomicKind() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| function() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| id() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| impactScopeOfAtomicOrAtomBlock() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isLoopPossible() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isPurelyLocal() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| outgoing() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| scope() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |