Two issues:
* the section describing dereference path talks about P and P' but then only uses P in the code.
* the ceilDiv math on the PathElement::sequenceElement(long, long) is wrong (as the division returns < 0 for F < 0, which is incorrect)