Fixing line break in test for #3559.
Not printing goal name (reinstalled by mistake in a previous commit).
Fixing printing of @eq which was apparently wrong bug fixed by MS on Wed 10.
Adapting ltac output test to new interpretation of binders.