Deleting variable ordering by BDD because it creates problems in the global table. The aim is implement some dynamic variable ordering.