0 / 60 seg.

To deal with contradictions, for example, they add branching patterns and parallel patterns.