I am wondering about the expected output given for the second test case. For label 3 ("y := 10 / (x - 1)") there is only a "divideBy((x - 1))" event generated, but according to the definition of the events used it should also create a "change(y)" event (and indefinitly many other change(...) events for all possible expressions, which use "y", but that goes a bit too far then

// Johannes