Updated to use the new smt-transform-antlr4 and also standardised to package path.