Inline implication constraints