Assertion list
current source (subgroup of source ) β†’ ReceivesAction

Results from Ascent++: 1
current source β†’ ReceivesAction β†’ connected at opposite end of th… 0.68