BoolVarTree: push a little further but converting between sums/prods or adders and multipliers is going to be tricky