@NotNull JavaValueFilter popFrame(Project project) {
    if (myStackFilter == null) return this;
    return new JavaValueFilter(myDfaFilter, myStackFilter.popFrame(project));
  }
@NotNull JavaValueFilter popFrame(Project project)