Fix egregious bug in implication constraints