step,rule,n_before,n_after,n_removed,rationale 1,none: all assertions assessed,6,6,0,All six assertions are in scope; no filtering applied