Assertion list
public sector union (subgroup of union ) → ReceivesAction
Results from Ascent++: 1
public sector union → ReceivesAction → prohibited 0.29