Fixed redundancy bug

Deleted redundant FDs were being retained, so the mechanism was flipped
to keeping non-redundant.