I update the solidity to 0.8.15 and now it can be built with z3 4.8.