Assertion list for term "mixed before placement".

Results from Ascent++: 1
concrete ReceivesActionmixed before placement 0.25