[Bug 1206826] Review Request: z3 - Satisfiability Module Theories (SMT) solver