- Converted getSuccState into CodeGenState constructor