@Override
public String toString() {
String s = head.toString();
if (s.length() > 100) s = s.substring(0, 100) + "...";
if (tail != null)
// se il bytecode contiene la stringa vuota, non stampiamo un newline.
// Utile per il bytecode che scompare dal print-out.
if (s.length() > 0) return s + "\n" + tail.toString();
else return tail.toString();
else return s;
}
