Fix over-eager implication constraint discard
Ticket #16247 (closed) showed that we were discarding an implication constraint that had empty ic_wanted, when we still needed to keep it so we could check whether it had a bad telescope.
Happily it's a one line fix. All the rest is comments!