Assertion list for term "lie in main unit".

Results from Ascent++: 1
fault CapableOflie in main unit 0.24