Assertion list for term "blink in case of an error".

Results from Ascent++: 1
led CapableOfblink in case of an error 0.25