[This is preliminary documentation and is subject to change.]
public IReadOnlyList<BasicBlock> BasicBlocks { get; }