<BUG>for (i = 0; i < maxNumChoices; i++) {v = JDD.Var(ddVarsUsed++);ddChoiceVars[i] = v;ddVarNames.add("l" + i);</BUG><CONTEXT>for (i = 0; i < numVars; i++) {varDDRowVars[i] = new JDDVars();varDDColVars[i] = new JDDVars();}if (modelType == ModelType.MDP) {<extra_id_0>}</CONTEXT>
[DELETED]