Generating Simpson's Paradox with Z3 (kevinlynagh.com)