Assertion list
voidable contract (subgroup of contract ) → ReceivesAction
Results from Ascent++: 2
voidable contract → ReceivesAction → avoided 0.25
voidable contract → ReceivesAction → ratified 0.25