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