Add ATNSimulator.clearDFA