Assertion list for term "generated to point to corresponding file".
Results from Ascent++: 1
pointer → ReceivesAction → generated to point to corresponding file 0.25