#8 Fdd's do not work correctly when domain size is not a power

[Anonymous]

Environment: Winows XP or Windows 7 OS with VS 2008 and VS2010 respectively.
Problem Description: When fdd_extdomain is called with domain size no being power of 2 the operations on bdd's do not work correctly. Please find attached file as simple example.
output is as follows:
bdd = <0:0/1>
neg bdd = <0:2/3>

The expected result is:
bdd = <0:0/1>
neg bdd = <0:2>
as the domains are {0,1,2}.
In the documentation there is no information that bdd domains need to be powers of 2.

[Anonymous]

Simple example to repro the problem