public void PrintDebug(util.Output output, Context ctx) { foreach (var instr in this.instrs) { instr.PrintDebug(output, ctx); output.WriteLine(); } terminator.PrintDebug(output, ctx); output.WriteLine(); }