<CONTEXT>tmp = JDD.Apply(JDD.PLUS, tmp, JDD.Apply(JDD.TIMES, JDD.Constant(d), elem));</BUG>transPerAction.set(k, tmp);}else {<extra_id_0>transPerAction.set(k, tmp);}else {<BUG>JDD.Ref(elem);tmp = JDD.ThereExists(elem, allDDColVars);</BUG>transActions = JDD.Apply(JDD.MAX, transActions, JDD.Apply(JDD.TIMES, JDD.Constant(j), tmp));}</CONTEXT>
tmp = transPerAction.get(k);} else {tmp = JDD.Constant(0);transPerAction.add(tmp);tmp = JDD.Apply(JDD.PLUS, tmp, JDD.Apply(JDD.TIMES, JDD.Constant(d), elem.copy()));tmp = JDD.ThereExists(elem.copy(), allDDColVars);