pub fn is_dead_assertion(expr: &SvaExpr) -> bool
Check if ALL evaluation attempts of a property are vacuous. If so, the assertion is dead and provides no verification value.