Assertion list
parameter (primary) → DefinedAs
Results from Ascent++: 3
parameter → DefinedAs → the function 0.33
parameter → DefinedAs → respect 0.33
parameter → DefinedAs → variable 0.32