public async Task RetrievesArgs(
     IGroupRun groupRun,
     IPatcherRun patcher,
     CancellationToken cancellation,
     FilePath?sourcePath,
     RunParameters runParameters,
     RunSynthesisPatcher args,
     RunAPatcher sut)
 {
     sut.GetRunArgs.GetArgs(default !, default !, default, default !)
 public async Task CancelledReturnsNull(
     IGroupRun groupRun,
     IPatcherRun patcher,
     CancellationToken cancelled,
     FilePath?sourcePath,
     RunParameters runParameters,
     RunAPatcher sut)
 {
     (await sut.Run(
          groupRun,
          new PatcherPrepBundle(
              patcher,
              Task.FromResult <Exception?>(new NotImplementedException())),
          cancelled,
          sourcePath,
          runParameters))
     .Should().BeNull();
 }