Make 'improvement' work properly in TcSimplify