Update cardinality_estimation.rkt