Fixing test-suite. The file output/Naming.v was broken because of a bugfix
changing the printing of bound variables.