private static IStrategoTerm executeTransformation(RelativePath model, RelativePath transformationPath, IStrategoTerm toplevelDecl, Environment environment, STRCommands str, Driver driver) throws IOException, TokenExpectedException, BadTokenException, InvalidParseTableException, SGLRException {
IStrategoTerm modelTerm = ATermCommands.atermFromFile(model.getAbsolutePath());
String strat = "main-" + FileCommands.dropExtension(transformationPath.getRelativePath()).replace('/', '_');
Result transformationResult = ModuleSystemCommands.locateResult(FileCommands.dropExtension(transformationPath.getRelativePath()), environment);
Path trans = str.compile(transformationPath, strat, transformationResult.getTransitiveFileDependencies());
IStrategoTerm transformationInput =
ATermCommands.makeTuple(
modelTerm,
ATermCommands.makeString(FileCommands.dropExtension(model.getRelativePath()), null),