/// <summary>
/// Visits control flow blocks and contained statements, in deep.
/// Unreachable blocks are not visited.
/// </summary>
/// <remarks>Visitor does not implement infinite recursion prevention.</remarks>
public void Visit(GraphVisitor/*!*/visitor) => visitor.VisitCFG(this);