Translate "if logical-expr then 1 (else 0)" into a channel constraint