Fake cond. jump generation theoretically done.

Unfortunately without the working helper methods it's now in pseudocode
state, and couldn't have been debugged.
However I really hope it has no fatal bugs in it...