Undoing a convervativity restriction in the cardinality analyzer.