Crashing query

[danieldk]

The following query works:

//node[@pos and number(@EnD) != number(@begin) + 1]

But variants without number crash, e.g.:

//node[@pos and @EnD != @begin + 1]
//node[@pos and @EnD != @begin]