Allow manual variable order of BDD either via the BDD or BDDProvider interface. Also also a manual triggering of the automatic reordering.
