Delete the unused code in Judge::judge_sbm