Completed: Redundant TransitionRemover concurrent