ParseTable table = ATermCommands.parseTableManager.loadFromFile(file);
List<Label> labels = table.getLabels();
for (int i = 0; i < labels.size(); i++)
if (labels.get(i) != null) {
Label lab = labels.get(i);
write.write(i + ":\t" + lab.getProduction() + "\n");
for (Priority p : table.getPriorities(lab)) {
String kind;
switch (p.type) {
case Priority.LEFT: