Make -fdicts-cheap cope with implication constraints