Remark 4.2. Condition (FO) allows for simple induction arguments. In many settings it can be weakened such that all arguments still work. For instance, there is a quite straightforward adaption to ind-varieties with possibly infinitely many orbits.
Original source: arXiv:2109.00305v2