Run BoolVarTree with correct args.