Assertion list for term "falling edge".
Results from Ascent++: 1
clock → HasA → falling edge 0.25