public void visitExecutableDeclaration(ExecutableDeclaration d) {
        d.accept(pre);

        for(TypeParameterDeclaration tpDecl: d.getFormalTypeParameters()) {
            tpDecl.accept(this);
        }

        for(ParameterDeclaration pDecl: d.getParameters()) {
            pDecl.accept(this);
        }

        d.accept(post);
    }