Ein BoolRewriter schreibt einen booleschen Ausdruck der Form "id(~V) == _E ==> _B" so um,
dass der Identifier "~V" im Ausdruck "_B" durch "_E" ersetzt wird.
beginLine and beginColumn describe the position of the first character
of this token; endLine and endColumn describe the position of the
last character of this token.
beginLine and beginColumn describe the position of the first character
of this token; endLine and endColumn describe the position of the
last character of this token.