Incrementieren und Decrementieren Beispiel

     Var(x, y, z)
     0 -> x
     7 -> y
     "keine Zahl" -> z 

statt

     Incr(x)
     Decr(y)
     Incr(z)  // Fehler

könnte man auch

     x 1 + -> x
     y 1 - -> y 

schreiben.