buf.append(next != null ? "end" : String.valueOf(next.getPosition()));
buf.append(next == null ? "end" : String.valueOf(next.getPosition()));
		public String toString() {			StringBuffer buf = new StringBuffer();			buf.append("[basicBlock=");			buf.append(getBasicBlock().getId());			buf.append(", index=");			buf.append(next != null ? "end" : String.valueOf(next.getPosition()));			buf.append(']');			return buf.toString();		}