Assertion list for term "based on differential partitioning".

Results from Ascent++: 1
separation ReceivesActionbased on differential partitioning 0.41