The first part of the proposition regarding finding a decomposition of width at most \(4\tau +3\)  is due to [1]}. The second part regarding nice tree decompositions is from [2]}. We are now ready to state our main result.
