- small typos
- def of $l_{i,j}$
- removed $i(H)$, 
- reintroduced the definition of tree decomposition (T,b)