ntdfa: Snapshot be4 adding idmap to State
ntdfa: WIP snapshot