upgrading z3 to the latest version. 6s to pass all intraproc analysis for luindex