Progress-preserving refinements of CTA