Assertion list for term "each switching rule".
Results from Ascent++: 1
execution → Causes → each switching rule 0.25