fixed the greater than separator for variable orderings
added messages in case that the generated OBDD has automatically been (re-)named
fixed some sources of errors
some more fixing
finally fixed the undo problem
some fixing
some more visualization