Assertion list for term "updated with effective address of the instruction".
Results from Ascent++: 1
address register (subgroup of register) → ReceivesAction → updated with effective address of the instruction 0.49