Assertion list for term "aligned in two layers of cri3".

Results from Ascent++: 1
spin ReceivesActionaligned in two layers of cri3 0.29