BoolVarTree: switch to using SatMap.  Seems to work.  Update submod.