/// <summary cref="AssertCleared()"/> readonly partial void AssertCleared() { blockSet.Clear(); EntryBlock.Assert(!HasAny && blockSet.Count == 0); }
/// <summary cref="AssertContained(BasicBlock, bool)"/> readonly partial void AssertContained(BasicBlock block, bool contained) => EntryBlock.Assert(blockSet.Contains(block) == contained);
/// <summary cref="AssertRemoved(BasicBlock, bool)"/> readonly partial void AssertRemoved(BasicBlock block, bool removed) => EntryBlock.Assert(blockSet.Remove(block) == removed);
/// <summary cref="AssertAdd(BasicBlock, bool)"/> readonly partial void AssertAdd(BasicBlock block, bool added) => EntryBlock.Assert(blockSet.Add(block) == added);