Assertion list
substitute check (subgroup of check ) → ReceivesAction
Results from Ascent++: 2
substitute check → ReceivesAction → based on original check 0.48
substitute check → ReceivesAction → created 0.42