Is your feature request related to a problem? Please describe.
We have a function Lib_MerkleTrie.verifyExclusionProof which is currently unused and untested. I think we should be able to remove this function. Will help our code coverage.

Describe the solution you'd like
Remove any references to verifyExclusionProof.

Describe alternatives you've considered
I guess we could keep it but I'd rather not have code in the contracts that we aren't actively using.