Minor Fixes

Source/Core/Runtime/Operations/ControlledOperation.cs

@@ -102,7 +102,6 @@ namespace Microsoft.Coyote.Runtime
                 this.Group = group ?? OperationGroup.Create(this);
             }
 
-            this.Group = group ?? OperationGroup.Create(this);
             this.Dependencies = new HashSet<object>();
             this.SyncEvent = new ManualResetEventSlim(false);
             this.LastSchedulingPoint = SchedulingPointType.Start;

Source/Core/Runtime/Operations/OperationGroup.cs

@@ -50,6 +50,7 @@ namespace Microsoft.Coyote.Runtime
             this.Id = Guid.NewGuid();
             this.Owner = owner;
             this.Members = new HashSet<ControlledOperation>();
+            this.IsDelayOperation = isDelayOperation;
         }
 
         /// <summary>