Assertion list
watchdog (primary) → HasProperty
Results from Ascent++: 4
watchdog → HasProperty → active 0.32
watchdog → HasProperty → good 0.16
watchdog → HasProperty → guilty 0.16
watchdog → HasProperty → toothless 0.16