Assertion list for term "separate section".

Results from Ascent++: 3
library HasAseparate section 0.34
specification HasAseparate section 0.30
prison HasAseparate section 0.28