Merge with large-state-spaces