Update z3 which would hold on certain ADT definitions

More info at https://z3.codeplex.com/workitem/113