Possible error in the formula for "seed distance" in chapter on greybox fuzzing

[langston-barrett]

Describe the bug
The chapter for greybox fuzzing contains the following text:

If you really want to know. Given the function-level distance $d_f(s,t)$ of a function $s$ to a function $t$ in call graph $CG$, our directed power schedule computes the seed distance $d(i,t)$ for a seed $i$ to function $t$ as $d(i,t)=\\dfrac{\\sum_{s\\in CG} d_f(s,t)}{|CG|}$ where $|CG|$ is the number of nodes in the call graph $CG$.

Notably, the RHS of the defining equation for d(i, t) doesn't mention the variable i. I suspect that this is an error. It seems like this should depend on the functions reached in the trace induced by the seed, so perhaps the sum_{s\in CG} should be replaced by something like sum_{s\in CG[i]} where CG[i] is the part of the callgraph exercised by the seed i? I believe this would match the presented algorithm.

Also, for what it's worth, it's "unpythonic" (non-standard) to use double underscores for the method __getFunctions__.

To Reproduce
Read the chapter

Expected behavior
The formula for seed distance should use the seed somehow.

Screenshots
n/a

Desktop (please complete the following information):
Not relevant

Additional context
n/a