/// <summary>
/// Checks if this control-flow graph contains a basic block
/// with a particular tag.
/// </summary>
/// <param name="tag">The basic block's tag.</param>
/// <returns>
/// <c>true</c> if this control-flow graph contains a basic block
/// with the given tag; otherwise, <c>false</c>.
/// </returns>
public bool ContainsBasicBlock(BasicBlockTag tag)
{
return(ImmutableGraph.ContainsBasicBlock(tag));
}
