added visitINewClass definition to Pretty.java