public override ProgramNode visit(ProgramNode program) { visitor.decrementDepth(); return(program); }