| Name | Status | Type | Time(s) |
| toGenericString_rightUnidirectional | Success | | 0.001 |
| CheckAssociations | Success | | 0.000 |
| isImmutable | Success | | 0.000 |
| toGenericString_noDirectional | Success | | 0.000 |
| whoIsInvalid | Success | | 0.000 |
| toGenericString | Success | | 0.001 |
| toGenericString_leftUnidirectional | Success | | 0.000 |
| hasRightCompositionArrows | Success | | 0.000 |
| toGenericString_nToM | Success | | 0.000 |
| isValid_uniDirectionalReflexetionNeedNotHaveLowerBoundOfZero | Success | | 0.000 |
| isValid_assumeUnderlyingMultiplityOk | Success | | 0.001 |
| isValid_reflexetionMustHaveLowerBoundOfZero | Success | | 0.000 |
| isComposition | Success | | 0.000 |
| isValid_okay | Success | | 0.000 |