Default Logic and Bounded Treewidth