Assertion list for term "reenter the structure".

Results from Ascent++: 1
bat CapableOfreenter the structure 0.32