add treewidth known bounds