A query may start with the declaration of query variables in the usual syntax of the Java programming language. The sole purpose of this is to shorten the specification of a query with several variables of the same type.

The query variables are separated with a semi column (;).

The value of the query variable is bound by the built-in pattern matching. Thus, it is not allowed to specify initial values in initializers such as:

int i = 0; Branch b1 = null; b1 > Bud(i) ...