Cleanup jump example with jump threading checks