Looks like it was added here by a PR https://github.com/presslabs/z3/pull/19 Crossing my fingers this can happen!