Assertion list
bismuth (primary) → ReceivesAction

Results from Ascent++: 2
bismuthReceivesAction grown along the c-axis direction 0.49
bismuthReceivesAction removed 0.25