Enhancing FSM Traversal by Temporary Re-Encoding