pub(crate) fn create2_address_word( cx: &mut SymCx, state: &mut PathState, creator: Address, salt: SymExpr, initcode: &SymCode, ) -> Result<(SymExpr, Address), SymbolicError>