(small) Marked Z3 v2 and Z3 v4 explicitly as experimental and not supported.
(small) Marked Z3 v2 and Z3 v4 explicitly as experimental and not supported.

See also: bug #1629

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast