Assertion list
handle (aspect of chisel ) → ReceivesAction
Results from Ascent++: 1
handle → ReceivesAction → held in place 0.25