Assertion list
put (primary) → HasA

Results from Ascent++: 1
putHasA same strike price 0.25