try to hijack string snippets printed by sprinter code by overriding PrettyPrinter.print(args: Any*), did not work because a string can be a string, but also a variable name (=Tree)