}
StringBuilder sb = new StringBuilder();
sb.append("param Pathlength := " + i + ";\n");
for (Entry<AbstractTCGElement, Set<Integer>> entry : amplPath
.entrySet()) {
AbstractTCGElement e = entry.getKey();
String s = e.getName();
String substitute = s.replaceAll("\\s", "_");
sb.append("set " + substitute
+ ":=");
for (Integer j : entry.getValue()) {
sb.append(" " + j);