started reducing the VariableOrdering usage in OBDD and Formula classes
completed the removal of the VariableOrdering as internal variable in OBDD and Formula datatypes