property := #synth CycleThrough(accepting)