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