Missed a stage-2 problem in the TcSimplify refactoring