Assertion list for term "configured to point to first lock bit".
Results from Ascent++: 1
pointer → ReceivesAction → configured to point to first lock bit 0.32