[X] ||| [Z] ||| [1] ||| Top=1
[Y] ||| foo ||| foo ||| F1=1
[Z] ||| [Z] [Y] ||| [1] [2] ||| W1=1
[Z] ||| [Y] ||| [1] ||| W2=1