在scyther安全验证工具（SPDL）中，如何写concatenation？ 我有一条消息 M = V + T + L;
我尝试了我在其他人中使用过的所有不同方式，如 ||、&、+ 等等。但是没有用。