Assertion list for term "go into fault mode".

Results from Ascent++: 1
drive CapableOfgo into fault mode 0.24