Context: {
    depth: Depth;
    pointcut: OptimalPointcut;
    root: ArgProgram;
}