Rewriting bug to do with rewriting GetAwaiter

[lovettchris]

Rewrite this method then run coyote rewrite, then run the program you will see a runtime error:

(ell) d:\Temp\CoyoteTest>dotnet D:\Temp\CoyoteTest\CoyoteTest\bin\Debug\net5.0\CoyoteTest.dll
Hello World!
Unhandled exception. System.MissingMethodException: Method not found: 'System.Runtime.CompilerServices.TaskAwaiter`1<!0> UncontrolledTaskAwaiter`1.GetAwaiter()'.
   at CoyoteTest.Program.<>c.<<TestDetectedUncontrolledGenericAwaiter>b__1_0>d.MoveNext()
   at System.Runtime.CompilerServices.AsyncMethodBuilderCore.Start[TStateMachine](TStateMachine& stateMachine)
   at CoyoteTest.Program.<>c.<TestDetectedUncontrolledGenericAwaiter>b__1_0()
   at CoyoteTest.Program.Test(Func`1 test, Configuration configuration) in D:\Temp\CoyoteTest\CoyoteTest\Program.cs:line 33
   at CoyoteTest.Program.TestDetectedUncontrolledGenericAwaiter() in D:\Temp\CoyoteTest\CoyoteTest\Program.cs:line 23
   at CoyoteTest.Program.Main(String[] args) in D:\Temp\CoyoteTest\CoyoteTest\Program.cs:line 16

using Microsoft.Coyote.SystematicTesting;
using Microsoft.Coyote;
using System;
using System.Threading;
using System.Threading.Tasks;
using System.Runtime.CompilerServices;

namespace CoyoteTest
{
    class Program
    {
        static void Main(string[] args)
        {
            Console.WriteLine("Hello World!");
            Program p = new Program();
            p.TestDetectedUncontrolledGenericAwaiter();
            Console.WriteLine("Test complete!");
        }

        [Test]
        public void TestDetectedUncontrolledGenericAwaiter()
        {
            this.Test(async () =>
            {
                await new UncontrolledTaskAwaiter<int>();
            },
            configuration: this.GetConfiguration().WithTestingIterations(100));
        }


        protected void Test(Func<Task> test, Configuration configuration = null)
        {
            test();
        }

        protected Configuration GetConfiguration()
        {
            return Configuration.Create();
        }
        public class UncontrolledTaskAwaiter<T>
        {
            public TaskAwaiter<T> GetAwaiter() => Task.FromResult<T>(default).GetAwaiter();
        }
    }
}