Assertion list for term "stop for substitution".

Results from Ascent++: 1
clock CapableOfstop for substitution 0.36