stratego/java-front source files, changed to produce python output. Includes a package to do transformation on ATerms using python. - View it on GitHub