more efficient variable separation, reusing already computed BDDs
more efficient variable separation, reusing already computed BDDs

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel