Functions returning iterators now begin with 'iterator'
Replaced AbstractCondition with Formula.
BugFix: the contains function in Events was not correct.
Added the verification of the exlusivity of transitions.
BUGFIX: We cannot cast arrays. One need to use toArray(T[] t).