각 검사는 다음의 위험한 연산을 실행해도 되는 전제 조건을 만듭니다.
args.length == 2
age parseInt 성공
email이 비어 있지 않음
1 ≤ age ≤ 120
saved label 생성
핵심: 인덱스 접근·숫자 변환·범위 분류를 안전한 의존 순서로 배치합니다.