| getScope() |   | 76% |   | 66% | 2 | 4 | 1 | 8 | 0 | 1 |
| isInlined() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getContracts() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isAtomic() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| CommonFunction(String, ProgramEntity.LinkageKind, Type) |  | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| addContract(ContractNode) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setIsInlined(boolean) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setDoesNotReturn(boolean) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getDefinition() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getType() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setAtomic(boolean) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setSystemFunction(boolean) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setAbstract(boolean) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setSystemLibrary(String) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setPure(boolean) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setStateFunction(boolean) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setLogic(boolean) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| doesNotReturn() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getCallers() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getCallees() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isSystemFunction() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isAbstract() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| systemLibrary() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isPure() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isStateFunction() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isLogic() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |