pub fn group_by_zkapp_command_rev<'a, I, GlobalState, LocalState, ConnectingLedgerHash>(
zkapp_command: I,
stmtss: Vec<Vec<(GlobalState, LocalState, ConnectingLedgerHash)>>,
) -> Vec<ZkappCommandIntermediateState<GlobalState, LocalState, ConnectingLedgerHash>>where
I: IntoIterator<Item = &'a ZkAppCommand>,
GlobalState: Clone,
LocalState: Clone,
ConnectingLedgerHash: Clone,