- [ ] State selection - [ ] Parallelization based on SCCs - [ ] Use SCC to give better error in tearing