New inequality representation is implemented, and the redundancy hierarchy in Blackboard should be working correctly.