Fixed a bug with backward jumps.

Now all jumps are computed as JumpHolders and the code that replaces them has
been moved outside of makePredicate and occurs as a second pass in generate.