如何在Yosys的LTL中使用“下一个”运算符（X）？

Question

是否有一种方法可以在Verilog（不是系统verilog）的assert语句中使用“ next”运算符。

我指的是this Yosys。