add infix constraint.