Revisiting Graph Width Measures for CNF-Encodings