add jump redirection optimization; add failed test case of it