isLoopFree
P158505
predicate
Indicates that the structure or process has no cycles, repetitions, or self-referential paths.