

import java.util.*;
import Jakarta.util.*;
import java.io.*;

public class AST_Program {
    public void propagateChanges() {
        AstNode.override( "AST_Program.propageChanges", this );
    }
}
