[Cause] The argument type specified in KAREL is incorrect. [Countermeasure] Correct the KAREL arguments.