Assertion list for term "start at entry".

Results from Ascent++: 1
fun CapableOfstart at entry 0.16