For the cases when there are Exit L1UserTxs and also there are L1CoordinatorTxs, the ISExitRoot should have the expected value (!=0) for the L1CoordinatorTxs slots.