public void deriveHistoryTree(DescriptorTree tree, final StackFrameContext context) {
    deriveHistoryTree(tree, context.getFrameProxy());
  }
public void deriveHistoryTree(DescriptorTree tree, final StackFrameContext context)