Added syntax for specifying modified variables in triples.
The previous syntax {P}{Q} is still valid and (still) specifies that any variables could be modified.
The new syntax {P}(x1,...,xn){Q} specifies that no other variables than x1,...,xn can be modified by executing the triple.
Thus {P}(){Q} is a much stronger statement than {P}{Q}