public override void Write(TextWriter output, string indent)
{
if (!ControlFlowDone && _predecessors.Count > 0)
{
output.WriteLine(indent + "[in " + string.Join(",", _predecessors.Select(s => s.StartOffset)) + "]");
}
WriteBody(output, indent);
if (!ControlFlowDone && _successors.Count > 0)
{
output.WriteLine(indent + "[out " + string.Join(",", _successors.Select(s => s.StartOffset)) + "]");
}
output.WriteLine();
}