tweak to UnrollJumpStrategy for @dkuppitz.