Added hypothesis on the mode transitions: mode transitions table vs procedures
Merge remote-tracking branch 'origin/master'
Added CurrentState keyword ( Issue #55 ), APPLY ON statement and the predefined function IntersectIn ( Issue #24 ).