Fix Trac #2045: use big-tuple machiney for implication constraints