Compare pretty method names when validating super

The test that two methods had the same name when validating a super call
was comparing a pretty name to an uglified name. Now the two pretty
forms are compared.