docs: public void replaceDeclaration(Declaration oldDecl,
                                     Declaration newDecl) {
          for (AlphaNodeFieldConstraint alphaConstraint : this.alphaConstraints) {
              alphaConstraint.replaceDeclaration(oldDecl, newDecl);
          }
          for (BetaNodeFieldConstraint betaConstraint : this.betaConstraints) {
              betaConstraint.replaceDeclaration(oldDecl, newDecl);
          }
          for ( int i = 0; i < this.requiredDeclarations.length; i++ ) {
              if ( this.requiredDeclarations[i] == oldDecl ) {
                  this.requiredDeclarations[i] = newDecl;
              }
          }
      }