Bug in variable creation for CBDDs
Changing the variable order for cbdds don't work at the moment, because variables are created without chain information.
Changing the variable order for cbdds don't work at the moment, because variables are created without chain information.