This structure does not introduce high treewidth because we can put "and" and each c i into a separate bag, forming a chain of bags of width 1.
when we use the string order as a constraint, we first introduce vertices c 1 , c 2 , .