debug JumJudgement.v