Assertion list for term "unlit".

Results from Ascent++: 2
pad HasPropertyunlit 0.37
torch HasPropertyunlit 0.16