Fixed a bug in dummy next state extractor