Here (https://github.com/txtx/txtx/blob/ccf9c4116b7aeb4a5613cd201bb12be6a505cfee/addons/svm/types/src/subgraph/pda.rs#L145) we have checks that make sure all PDA seeds for a common PDA index are identical. However, it's appropriate for the account seeds to have different names. We should really just be checking that the types are in the same order.
Here (https://github.com/txtx/txtx/blob/ccf9c4116b7aeb4a5613cd201bb12be6a505cfee/addons/svm/types/src/subgraph/pda.rs#L145) we have checks that make sure all PDA seeds for a common PDA index are identical. However, it's appropriate for the account seeds to have different names. We should really just be checking that the types are in the same order.