Assertion list
actual parameter (subgroup of parameter ) → IsA
Results from Ascent++: 2
actual parameter → IsA → variable 0.68
actual parameter → IsA → expression 0.56