It is of crucial importance to care about variable ordering when applying this data structure in practice.
There are functions for which the graph size is always exponential - independent of variable ordering.