DUAL also guarantees that each path is loop free.

• DUAL也保证每条路径都是无迴圈的。