sbool setBoolVar_returnPrevious(BoolVar v, bool value) {
  synchronized(v) {
    bool prev = v!;
    v.set(value);
    ret prev;
  }
}