Temporary workaround for bug in Code Contracts.

It is failing the build due to unreachable code because the contracts for System.Diagnostics.Process are wrong.