Assertion list for term "impure states".

Results from Ascent++: 1
iron AtLocationimpure states 0.25