isReverselyAccessible() method added to ReverselyAccessibleAutomaton
interface.
Towards Kleene star.