support for negative disjunctions
some missing counters and timers for negation and disjunctions are added
updated changes.xml with new improvements