Compilation bug fix in TreeDecomposer