On the read-once property of branching programs and CNFs of bounded treewidth