Simplifier trace wibbles for cardinality analysis