test for #1256: NPE in Naming.makeDeclName

Test currently passes...