In StrPrinter there is
def emptyPrinter(self, expr):
if isinstance(expr, str):
return expr
elif isinstance(expr, Basic):
return repr(expr)
else:
return str(expr)
Is `return repr(expr)` reachable if `StrPrinter` defines `_print_Basic` that prints all `Basic` objects?