Works
Do not report empty property lists
Convert non-combinatorial subranges to invariants