Assertion list
value (aspect of parameter ) → MadeOf

Results from Ascent++: 1
valueMadeOf type int 0.28