NFASimulation#discoverStatesAndRules added.