WSTK generates at least one input tag for each operation, even if that operation does not take any input.

• WSTK为每个操作至少生成一个input标记,即使该操作不必获得任何输入。