public override string ToString() {
if (this.Insts == null) {
return "<null>";
}
int l = this.Insts.Count();
if (l == 0) {
return "<empty>";
}
return string.Format("[{0}:{1}]", this.StartStackSize, this.EndStackSize) +
Environment.NewLine +
string.Join(Environment.NewLine, this.Insts.Select(x => x.ToString()));
}