Analyze if states can lead to a halt, and see how many halting cases can be detected. Possibly detect effectively identical configurations
Analyze if states can lead to a halt, and see how many halting cases can be detected. Possibly detect effectively identical configurations