Assertion list
source code (primary) → IsA
Results from Ascent++: 1
source code → IsA → the code 0.31