property := #witness CycleThrough(accepting)