Assertion list for term "refer to the design".

Results from Ascent++: 1
choreography CapableOfrefer to the design 0.33