Refactored Alternation And MutualExclusion Operations and removed AlternationAndMutualExclusion.