implement free move (in other words, ε transition)