fn first_account_update<'a>( witness: &'a ZkappCommandSegmentWitness<'_>, ) -> Option<&'a AccountUpdate>