List<NameBinding> argNames = dis.getMembers().stream().map(cer->cer.getName().toString())
.map(name -> new NameBindingImpl(name, Int.getInstance())).collect(Collectors.toList());
argNames.add(new NameBindingImpl("lexeme", Str.getInstance()));
SpliceBindExn spliced = LangUtil.spliceBinding(new IParseBuffer(disambiguationCode), argNames, dis.getDisplayName());
CopperElementName newName = dis.getName();
String nextName = getNextName(methNum, newName);
toGen.put(nextName, new Pair<>(Int.getInstance(),spliced));
dis.setCode(String.format("return ((IntegerConstant)Util.invokeValueVarargs(%s, \"%s\", %s)).getValue();", PAIRED_OBJECT_NAME, nextName,