Assertion list for term "configured to detect change".

Results from Ascent++: 2
circuit ReceivesActionconfigured to detect change 0.30
detector ReceivesActionconfigured to detect change 0.25