| binaryExpression(CIVLSource, BinaryExpression.BINARY_OPERATOR, Expression, Expression) |   | 71% | | 63% | 12 | 20 | 6 | 31 | 0 | 1 |
| deriveBinaryOperationSetType(CIVLSetType, CIVLType) | | 41% | | 26% | 13 | 14 | 7 | 15 | 0 | 1 |
| unaryExpression(CIVLSource, UnaryExpression.UNARY_OPERATOR, Expression) | | 44% | | 33% | 6 | 8 | 3 | 8 | 0 | 1 |
| addressOfExpression(CIVLSource, LHSExpression) | | 64% | | 50% | 4 | 8 | 11 | 26 | 0 | 1 |
| arithmeticableExpression(Expression) | | 38% | | 40% | 4 | 6 | 6 | 11 | 0 | 1 |
| atomicFragment(boolean, Fragment, Location, Location) | | 82% | | 40% | 4 | 6 | 6 | 33 | 0 | 1 |
| numericExpression(Expression) | | 41% | | 50% | 2 | 4 | 5 | 11 | 0 | 1 |
| leastCommonAncestor(Scope, Scope) | | 34% | | 25% | 4 | 5 | 7 | 10 | 0 | 1 |
| differentiableExpression(CIVLSource, AbstractFunction, int, Expression[], Expression[]) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| comparableExpression(Expression) | | 41% | | 100% | 0 | 2 | 3 | 7 | 0 | 1 |
| structOrUnionLiteralExpression(CIVLSource, Scope, CIVLStructOrUnionType, SymbolicExpression) | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| booleanExpression(Expression) | | 83% | | 90% | 1 | 6 | 2 | 20 | 0 | 1 |
| updateStatement(CIVLSource, Location, Expression, Expression, CIVLFunction, Expression[]) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| updateStatement(CIVLSource, Location, Expression, Expression, CallOrSpawnStatement) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| nondetFunction(CIVLSource, Identifier, CIVLType, Scope) | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| subscriptExpression(CIVLSource, LHSExpression, Expression) | | 79% | | 70% | 2 | 6 | 3 | 15 | 0 | 1 |
| derivativeCallExpression(CIVLSource, AbstractFunction, List, List) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| dotExpression(CIVLSource, Expression, int) | | 71% | | 60% | 4 | 6 | 2 | 10 | 0 | 1 |
| computeImpactScopeOfLocation(Location) | | 93% | | 82% | 8 | 26 | 3 | 46 | 0 | 1 |
| mpiContractExpression(CIVLSource, Scope, Expression, Expression[], MPIContractExpression.MPI_CONTRACT_EXPRESSION_KIND, MPICollectiveBehavior.MPICommunicationPattern) | | 85% | | 77% | 2 | 8 | 3 | 18 | 0 | 1 |
| withStatement(CIVLSource, Location, LHSExpression, boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| systemGuardExpression(CallOrSpawnStatement) | | 81% | | 80% | 2 | 6 | 2 | 13 | 0 | 1 |
| parallelAssignStatement(CIVLSource, List) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| loopContract(CIVLSource, Location, List, List, List) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| variableAsParameter(CIVLSource, CIVLType, Identifier, int) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| conditionalExpression(CIVLSource, Expression, Expression, Expression) | | 90% | | 87% | 1 | 5 | 1 | 11 | 0 | 1 |
| function(CIVLSource, boolean, Identifier, Scope, List, CIVLType, Scope, Location) | | 86% | | 83% | 1 | 4 | 1 | 5 | 0 | 1 |
| loopBranchStatement(CIVLSource, Location, Expression, boolean, LoopContract) | | 70% | | 50% | 2 | 3 | 1 | 4 | 0 | 1 |
| arraySliceReference(ArraySliceReference.ArraySliceKind, Expression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| wildcardExpression(CIVLSource, CIVLType) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| structFieldReference(int) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| dereferenceExpression(CIVLSource, Expression) | | 90% | | 75% | 2 | 5 | 0 | 9 | 0 | 1 |
| extractInt(NumericExpression) | | 80% | | 50% | 2 | 3 | 0 | 3 | 0 | 1 |
| sizeofTypeExpression(CIVLSource, CIVLType) | | 85% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| hereOrRootExpression(CIVLSource, boolean) | | 80% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| ifElseBranchStatement(CIVLSource, Location, Expression, boolean) | | 78% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| noopStatementWtGuard(CIVLSource, Location, Expression) | | 78% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| switchBranchStatement(CIVLSource, Location, Expression, Expression) | | 78% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| switchBranchStatement(CIVLSource, Location, Expression) | | 76% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| nullProcessValue() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| mallocStatement(CIVLSource, Location, LHSExpression, CIVLType, Expression, Expression, int, Expression) | | 94% | | 50% | 1 | 2 | 0 | 4 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| isProcessIdNull(int) | | 71% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| logicFunction(CIVLSource, Identifier, Scope, List, CIVLType, int[], Scope, Expression) | | 96% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| CommonModelFactory(SymbolicUniverse, CIVLConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 23 | 0 | 1 |
| waitFunctionPointer() | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
| elaborateDomainPointer() | | 100% | | 100% | 0 | 2 | 0 | 11 | 0 | 1 |
| scope(CIVLSource, Scope, List, CIVLFunction) | | 100% | | 100% | 0 | 4 | 0 | 14 | 0 | 1 |
| createTimeVariables(Scope) | | 100% | | 100% | 0 | 3 | 0 | 12 | 0 | 1 |
| regularRangeExpression(CIVLSource, Expression, Expression, Expression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| callOrSpawnStatement(CIVLSource, Location, boolean, Expression, List, Expression, boolean) | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| join(Scope, Scope) | | 100% | | 100% | 0 | 5 | 0 | 14 | 0 | 1 |
| newAnonymousVariableForConstantArrayLiteral(CIVLSource, CIVLArrayType, SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 8 | 0 | 1 |
| getLower(Scope, Scope) | | 100% | | 100% | 0 | 7 | 0 | 13 | 0 | 1 |
| undefinedValue(SymbolicType) | | 100% | | 100% | 0 | 3 | 0 | 8 | 0 | 1 |
| newAnonymousVariableForArrayLiteral(CIVLSource, CIVLArrayType) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| domSizeVariable(CIVLSource, Scope) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| parProcsVariable(CIVLSource, CIVLType, Scope) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| newAnonymousVariable(CIVLSource, Scope, CIVLType) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| systemFunction(CIVLSource, Identifier, Scope, List, CIVLType, Scope, String) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| identifier(CIVLSource, String) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| createAtomicLockVariable(Scope) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| assignStatement(CIVLSource, Location, LHSExpression, Expression, boolean) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| atomicEnter(Location) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| atomicExit(Location) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| getLowerScope(List) | | 100% | | 100% | 0 | 3 | 0 | 6 | 0 | 1 |
| setScopes(Scope) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| joinScope(List) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| quantifiedExpression(CIVLSource, QuantifiedExpression.Quantifier, List, Expression, Expression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| abstractFunctionCallExpression(CIVLSource, AbstractFunction, List) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| civlForEnterFragment(CIVLSource, Location, Expression, List, Variable) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| arrayLambdaExpression(CIVLSource, CIVLArrayType, List, Expression, Expression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| returnFragment(CIVLSource, Location, Expression, CIVLFunction) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| abstractFunction(CIVLSource, Identifier, Scope, List, CIVLType, Scope, int, ModelFactory) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getLiteralDomCounterIdentifier(CIVLSource, int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nullPointerExpression(CIVLPointerType, CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| location(CIVLSource, Scope) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| arrayLiteralExpression(CIVLSource, CIVLArrayType, List) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| civlParForEnterStatement(CIVLSource, Location, Expression, VariableExpression, VariableExpression, CIVLFunction) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| functionGuardExpression(CIVLSource, Expression, List) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| functionIdentifierExpression(CIVLSource, CIVLFunction) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| isTrue(Expression) | | 100% | | 75% | 1 | 3 | 0 | 2 | 0 | 1 |
| variableWork(CIVLSource, CIVLType, Identifier, int, boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| domainGuard(CIVLSource, List, Variable, Expression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| extractIntField(SymbolicExpression, IntObject) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| noopStatementForVariableDeclaration(CIVLSource, Location) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| withStatement(CIVLSource, Location, Expression, CIVLFunction) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| procnullExpression(CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| statenullExpression(CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| gotoBranchStatement(CIVLSource, Location, String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| noopStatement(CIVLSource, Location, Expression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| isProcNull(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| recDomainLiteralExpression(CIVLSource, List, CIVLType) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| memoryUnitExpression(CIVLSource, Variable, CIVLType, MemoryUnitReference, boolean, boolean) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| noopStatementTemporary(CIVLSource, Location) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| extendedQuantifiedExpression(CIVLSource, CIVLType, ExtendedQuantifiedExpressionNode.ExtendedQuantifier, Expression, Expression, Expression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| booleanLiteralExpression(CIVLSource, boolean) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| castExpression(CIVLSource, CIVLType, Expression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| dynamicTypeOfExpression(CIVLSource, CIVLType) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| integerLiteralExpression(CIVLSource, BigInteger) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| realLiteralExpression(CIVLSource, BigDecimal) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| scopeofExpression(CIVLSource, LHSExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sizeofExpressionExpression(CIVLSource, Expression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sourceOfSpan(CIVLSource, CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| charLiteralExpression(CIVLSource, char) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| selfExpression(CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sourceOfSpan(Source, Source) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| model(CIVLSource, CIVLFunction, Program) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| variable(CIVLSource, CIVLType, Identifier, int) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambdaExpression(CIVLSource, CIVLFunctionType, Variable, Expression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| valueAtExpression(CIVLSource, Expression, Expression, Expression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| boundVariableExpression(CIVLSource, Identifier, CIVLType) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| functionCallExpression(CallOrSpawnStatement) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sourceOfSpan(ASTNode, ASTNode) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sourceOfToken(CivlcToken) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isPocessIdDefined(int) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| initialValueExpression(CIVLSource, Variable) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| variableExpression(CIVLSource, Variable) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sourceOfBeginning(ASTNode) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sourceOfEnd(ASTNode) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getProcessId(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| clearAnonFragment() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addInputVariable(Variable) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| trueExpression(CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sourceOf(ASTNode) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sourceOf(Source) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| addAnonStatement(Statement) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| nothing(CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setTokenFactory(TokenFactory) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| model() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| selfReference() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setCodeAnalyzers(List) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| statenullConstantValue() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| atomicLockVariableExpression() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| timeCountVariable() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| brokenTimeVariable() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| universe() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| systemSource() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| anonFragment() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| typeFactory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| codeAnalyzers() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| inputVariables() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| staticConstantScope() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |