Pretty Printer Test
Change filename to SmtLib.g4
IntelliJ Project File