Now if all segments in a JFS are one-direction it becomes one direction. But maybe we should tighten this assumption. `all(one direction, jfs rel)`