clearing the computed tables before the calls
made constructors for constants public
added a method that removes all variables before a given one in a VariableOrdering
changed the removeBefore method to void
undid the changes
cons and apply now take the VariableOrdering as additional parameter, and cons has it shortened
added a VariableOrdering as internal parameter
added method for retrieving an OBDDs root and added the complete VariableOrdering as parameter to the calls of Formulas (smart) constructors