Assertion list for term "loadable segment".

Results from Ascent++: 1
file HasAloadable segment 0.39