Add test for RedundantTransitionRemover