Given a constraint P with segment B let V(P, B) be the set of variables of B that must take their value inside B.
the target semantics is described by the parallelism constraint X0/X1 Y0 /Y1 , which states that the tree segment X0/X1 has the same structure as the tree segment Yo/Yi.