If we recognize these while checking for determinism, should we merge them?
If we recognize these while checking for determinism, should we merge them?