Advice for CTL improvement