optimize contradiction removal (note TR router still partially disabled