Good point, yeah all the instances of 'ArgumentXXXException' points to there needing to be better language/tooling support for it.
[0] https://docs.microsoft.com/en-us/dotnet/framework/debug-trac...
[1] https://www.microsoft.com/en-us/research/project/pex-and-mol...