sclass BoolVarWithNotify extends BoolVar {
  event fireChange;
  
  public synchronized void set(bool a) {
    if (get() != a) {
      set(a);
      fireChange();
    }
  }
}