Assertion list for term "come unattached".

Results from Ascent++: 1
clock CapableOfcome unattached 0.16