Assertion list for term "leave at the t-junction".

Results from Ascent++: 1
turn CapableOfleave at the t-junction 0.41