check_snl: implement Bar Trace for total #bad SNLs