Write tests for InternalReachabilityChecker
Fix bug in RedundantTransitionRemover