</description>
       <value type="integer">0</value>
       <variable-value-candidate>
-        <c-value valuetype="integer">0</c-value>
-        <c-value valuetype="integer">1</c-value>
+        <c-value type="integer">0</c-value>
+        <c-value type="integer">1</c-value>
       </variable-value-candidate>
     </variable>
   </variable-list>
 
       </description>
       <value type="integer">1</value>
       <variable-value-candidate>
-        <c-value valuetype="integer">0</c-value>
-        <c-value valuetype="integer">1</c-value>
-        <c-value valuetype="integer">2</c-value>
+        <c-value type="integer">0</c-value>
+        <c-value type="integer">1</c-value>
+        <c-value type="integer">2</c-value>
       </variable-value-candidate>
     </variable>
   </variable-list>
 
       </description>
       <value type="integer">1</value>
       <variable-value-candidate>
-        <c-value valuetype="integer">0</c-value>
-        <c-value valuetype="integer">1</c-value>
-        <c-value valuetype="integer">2</c-value>
+        <c-value type="integer">0</c-value>
+        <c-value type="integer">1</c-value>
+        <c-value type="integer">2</c-value>
       </variable-value-candidate>
     </variable>
   </variable-list>
 
       </description>
       <value type="integer">1</value>
       <variable-value-candidate>
-        <c-value valuetype="integer">0</c-value>
-        <c-value valuetype="integer">1</c-value>
-        <c-value valuetype="integer">2</c-value>
+        <c-value type="integer">0</c-value>
+        <c-value type="integer">1</c-value>
+        <c-value type="integer">2</c-value>
       </variable-value-candidate>
     </variable>
   </variable-list>
 
       </description>
       <value type="integer">0</value>
       <variable-value-candidate>
-        <c-value valuetype="integer">0</c-value>
-        <c-value valuetype="integer">1</c-value>
+        <c-value type="integer">0</c-value>
+        <c-value type="integer">1</c-value>
       </variable-value-candidate>
     </variable>
     <variable id="backspace-is-undo">
       </description>
       <value type="integer">0</value>
       <variable-value-candidate>
-        <c-value valuetype="integer">0</c-value>
-        <c-value valuetype="integer">1</c-value>
+        <c-value type="integer">0</c-value>
+        <c-value type="integer">1</c-value>
       </variable-value-candidate>
     </variable>
   </variable-list>