implement a transformation in jump threading that is currently