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