class BDDSourceManager {

  public boolean allSourcesTracked() {
    return !isTrivial() && _activeButUnreferenced.isEmpty();
  }

  private  BDDSourceManager(
      BDDFiniteDomain<String> finiteDomain, Set<String> activeButUnreferenced);

}