Environment.terms.put(filename, aterm);
FileCommands.writeToFile(filename, atermToString(aterm));
}
public static String atermToString(IStrategoTerm aterm) {
InlinePrinter printer = new InlinePrinter();
aterm.prettyPrint(printer);
return printer.getString();
}