Assertion list for term "call for halt".

Results from Ascent++: 1
resolution CapableOfcall for halt 0.39