Alternation And MutualExclusion Operations completed.
Merge saiddao/wolfed (AlternationAndMutualExclusion need a refactor)
Updated Operation and WolfedEditor for apply Alternation and MutualExlusion