15.12.2008: In Zeile 69 des Lexers muss es } else if (((n = readConst("rand", input, i)) > 0) && !(readIdentifier(input, i) > n)) { statt } else if ((n = readConst("rand", input, i)) > 0) { heissen, da "rand" auch das Praefix eines Bezeichners sein koennte (z.B. Variable "randbedingung").