Assertion list
drawstring (primary) → ReceivesAction
Results from Ascent++: 3
drawstring → ReceivesAction → pulled 0.55
drawstring → ReceivesAction → tied 0.25
drawstring → ReceivesAction → provided in front 0.16