Computation of single tree ZDD, and tests of cube aggregation in binary
number representation.