public boolean do3NFSynthesis() {
                          boolean changed = false;
                          if (minimalCover()) { changed = true; }
                          if (groupFDs()) { changed = true; }
                          if (addKeyRelations()) { changed = true; }
                          return changed;
                          return (minimalCover() || groupFDs() || addKeyRelations()
                  }