pub(crate) fn compute_create2_address_word( cx: &mut SymCx, state: &mut PathState, deployer: SymExpr, salt: SymExpr, init_code_hash: SymExpr, ) -> Result<SymExpr, SymbolicError>