An intuitive example (real-life examples cannot be reproduced here -a category in a typical TFSG can have hundreds of nodes) is presented in Figure 4.  can promote only to t 7 , thus x 2 and y 2 will always be compatible).
future work will focus on using static analysis to determine smaller representations (by cutting nodes in Static Cuts) of the chart edges themselves.