Assertion list
blank (primary) → UsedFor
Results from Ascent++: 2
blank → UsedFor → simultaneous recording 0.25
blank → UsedFor → the simulation 0.25