Assertion list for term "never complex".

Results from Ascent++: 1
meaning HasPropertynever complex 0.25