if (node.getBodyNode() != null) {
Context context = graph.getRuntime().getContext();
context.pushFrame(context.getFrameModule(), node.getName(), receiver, null, Visibility.PUBLIC);
context.pushScope(new LocalScope(method.getModule()));
graph.createVertex(node.getBodyNode());
context.popScope();
context.popFrame();
}
Logger.debug(SourceLocation.of(node), "dummy call: %s", method);
}