WIP on fixing BoolVarTree