@Override public String toString() { String res = thisToString(); if (parent != null) res = parent.toString() + res; return res; }