Maybe a z3 proof in the commit message would make people feel a bit more at home with this also? http://reviews.llvm.org/D8350 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/