Prevent autoevaluation of Mul in the _print_Add helper for pretty printing

fixes #8292