Branch-decomposition
 
x
OK