Assertion list for term "revert to original design".

Results from Ascent++: 1
outline CapableOfrevert to original design 0.25