added size method
added getFirst and getLast methods for VariableOrderings
added get(index) method for VariableOrderings
started implementing toOBDD method for Formulas (by now commented out to avoid errors)