seeing some flakiness in the output back from z3; hard to reproduce reliably. adding some instrumentation to keep an eye on it