Arbitrary.has_rewinder# property Arbitrary.has_rewinder# Whether a rewinder leads from the end of the path back to k = 0.
