Interpreter Output Verification

코드 실행 결과(o)를 각 코드 블록의 출력으로 사용해 최종 해답의 타당성을 확인하는 기법으로 NL 추론에 의한 부정확한 계산의 확산을 방지한다.