Run-assert-eval: Find the risk, fix it, prove it (commandline.microsoft.com)