sylvan_cube now uses BDDSET instead of BDDVAR*, also sylvan_union_cube added