| toString() |  | 0% |  | 0% | 7 | 7 | 25 | 25 | 1 | 1 |
| lastStatementsToStringBuffer() |  | 0% |  | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| CommonFragment(Statement, Statement) |  | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| CommonFragment(Location, Statement) |  | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| updateStartLocation(Location) |   | 89% |   | 72% | 6 | 13 | 7 | 36 | 0 | 1 |
| parallelCombineWith(Fragment) |   | 91% |   | 75% | 3 | 7 | 1 | 13 | 0 | 1 |
| uniqueFinalStatement() |   | 76% |   | 50% | 2 | 3 | 1 | 4 | 0 | 1 |
| print(PrintStream) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| addGuardToStartLocation(Expression, ModelFactory) |  | 100% |   | 83% | 1 | 4 | 0 | 12 | 0 | 1 |
| combineWith(Fragment) |  | 100% |   | 87% | 1 | 5 | 0 | 8 | 0 | 1 |
| addNewStatement(Statement) |  | 100% |  | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| CommonFragment(Statement) |  | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| isEmpty() |  | 100% |   | 66% | 2 | 4 | 0 | 2 | 0 | 1 |
| CommonFragment(Location, Set) |  | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| CommonFragment() |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| addFinalStatement(Statement) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addFinalStatementSet(Set) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setFinalStatements(Set) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setStartLocation(Location) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| finalStatements() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| startLocation() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |