Assertion list
use (aspect of cobalt ) → ReceivesAction
Results from Ascent++: 2
use → ReceivesAction → extended into many other fields 0.68
use → ReceivesAction → traced 0.68