s"${getClass.getName}($tree, ${if (subst.isEmpty) "" else subst})"