Fixing bug #1758: Print Hint output can be misleading if variable shadows hypothesis.
Follow-up of bugfix for #3204: local definitions were not handled properly.