Add auto_judge_argument_type