Updated the project to use the renamed smt-antlr4-java-parser dependency.