Make a table with two rows. LHS comparing if age == 0 and RHS setting approved = true. These can be fields of the same class.

The rows are redundant.

Save and reopen the editor.
Change first row to approved=false and then back to true.
After the first change the rows should conflict and after the second they should be redundant again.

How ever the verification report says the rows are in conflict and not redundant.

https://user-images.githubusercontent.com/1079279/34523101-292c9d60-f07d-11e7-8b42-aac69ea3f607.gif