Add another example of how you can use Z3 to speed up vulnerabilty exploitation task