step,rule,n_before,n_after,n_removed,rationale 1,all six assertions retained (no exclusion),6,6,0,every assertion is assessed