Assertion list
parameter (aspect of function ) → IsA
Results from Ascent++: 5
parameter → IsA → value 0.66
parameter → IsA → constant 0.61
parameter → IsA → given value 0.53
parameter → IsA → address 0.37
parameter → IsA → constant string 0.16