Generating Simpson's Paradox with Z3