public void applyUserList(Set<org.kframework.definition.Sentence> res,
org.kframework.kore.Sort sort, Production p, UserList userList) {
org.kframework.kore.Sort elementSort = userList.getSort();
org.kframework.attributes.Att attrs = convertAttributes(p).add(Att.userList(), userList.getListType());
String kilProductionId = "" + System.identityHashCode(p);
Att attrsWithKilProductionId = attrs.add(PRODUCTION_ID, kilProductionId);
org.kframework.definition.Production prod1, prod3;
prod1 = Production(KLabel(p.getKLabel(kore)), sort,
Seq(NonTerminal(elementSort), Terminal(userList.getSeparator()), NonTerminal(sort)),
attrsWithKilProductionId.add("right"));
prod3 = Production(KLabel(p.getTerminatorKLabel(kore)), sort, Seq(Terminal("." + sort.toString())),
attrsWithKilProductionId.remove("format").remove("strict").add("klabel", p.getTerminatorKLabel(false)));
res.add(prod1);
res.add(prod3);
}