I have run the redundancy checks on the file. After resolving all these redundancies I have reduced the number of rules from 619 to 449.
I noticed some interesting cases that might be adapted to make good figures for a paper. They are inserted below: