=======  =======

====== Differences ======
-org.eclipse.emf.compare.diff.metamodel.impl.DiffGroupImpl@1da30c3 (conflicting: false, kind: Change)
-9 change(s) in StateMachine StateMachine
-2 change(s) in SingleState A
-1 change(s) in Transition h
-Reference target in h changed from state.impl.SingleStateImpl@60232c (name: C) (isFinal: false, isInitial: false) to state.impl.CompositeStateImpl@129642c (name: X)
-e1 has been removed from reference incoming in A
-2 change(s) in SingleState B
-1 change(s) in Transition e1
-e1 has been moved from state.impl.SingleStateImpl@246ceb (name: B) (isFinal: false, isInitial: false) to state.impl.CompositeStateImpl@129642c (name: X)
-B has been moved from state.impl.StateMachineImpl@eea1e7 to state.impl.CompositeStateImpl@129642c (name: X)
-4 change(s) in SingleState C
-Transition has been added to reference incoming in C
-h has been removed from reference incoming in C
-C has been moved from state.impl.StateMachineImpl@eea1e7 to state.impl.CompositeStateImpl@129642c (name: X)
-state.impl.TransitionImpl@1a52b3b (event: e1) has been removed
-state.impl.CompositeStateImpl@129642c (name: X) has been added
-state.impl.SingleStateImpl@19ff359 (name: null) (isFinal: false, isInitial: true) has been added
-state.impl.TransitionImpl@216f75 (event: null) has been added

====== Pre conditions ======

===== 15639015 : StateMachine: StateMachine_0 =====


===== 28972376 : SingleState: SingleState_0 =====

  * ( ) name = null
  * ( ) isFinal = false
  * ( ) isInitial = true
  * ( ) owner = null
  * ( ) incoming->isEmpty()

===== 30368522 : Transition: Transition_0 =====

  * ( ) event = null
  * ( ) target = #{SingleState_1}
  * ( ) source = #{SingleState_0}

===== A : SingleState: SingleState_1 =====

  * ( ) name = 'A'
  * (X) isFinal = false
  * (X) isInitial = false
  * ( ) owner = null
  * (-) incoming->includesAll(#[Transition_3])
  * (X) incoming->includesAll(#[Transition_4])
  * (X) incoming->includesAll(#[Transition_0])

===== 1866828 : Transition: Transition_1 =====

  * ( ) event = 'h'
  * (X) target = #{SingleState_3}
  * (X) source = #{SingleState_1}

===== B : SingleState: SingleState_2 =====

  * ( ) name = 'B'
  * (X) isFinal = false
  * (X) isInitial = false
  * ( ) owner = null
  * (-) incoming->includesAll(#[Transition_2])
  * (-) incoming->includesAll(#[Transition_5])

===== 23776483 : Transition: Transition_2 =====

  * ( ) event = 'f'
  * ( ) target = #{SingleState_2}
  * ( ) source = #{SingleState_2}

===== 11633722 : Transition: Transition_3 =====

  * ( ) event = 'e1'
  * (X) target = #{SingleState_1}
  * (X) source = #{SingleState_2}

===== C : SingleState: SingleState_3 =====

  * ( ) name = 'C'
  * (X) isFinal = false
  * (X) isInitial = false
  * ( ) owner = null
  * (X) incoming->includesAll(#[Transition_1])

===== 27601723 : Transition: Transition_4 =====

  * (e) event = #{Transition_3}.event // = 'e1'
  * (X) target = #{SingleState_1}
  * (-) source = #{SingleState_3}

===== 12139953 : Transition: Transition_5 =====

  * ( ) event = 'e'
  * ( ) target = #{SingleState_2}
  * ( ) source = #{SingleState_3}

====== Post conditions ======

===== 10623682 : StateMachine: StateMachine_0 =====


===== 9095774 : SingleState: SingleState_0 =====

  * ( ) name = null
  * ( ) isFinal = false
  * ( ) isInitial = true
  * ( ) owner = null
  * ( ) incoming->isEmpty()

===== 32248009 : Transition: Transition_0 =====

  * ( ) event = null
  * ( ) target = #{SingleState_1}
  * ( ) source = #{SingleState_0}

===== A : SingleState: SingleState_1 =====

  * ( ) name = 'A'
  * (X) isFinal = false
  * (X) isInitial = false
  * ( ) owner = null
  * (X) incoming->includesAll(#[Transition_2])
  * (-) incoming->includesAll(#[Transition_0])

===== 12293337 : Transition: Transition_1 =====

  * ( ) event = 'h'
  * (X) target = #{CompositeState_0}
  * (X) source = #{SingleState_1}

===== X : CompositeState: CompositeState_0 =====

  * ( ) name = 'X'
  * ( ) owner = null
  * (X) incoming->includesAll(#[Transition_1])

===== 7316236 : Transition: Transition_2 =====

  * (e) event = #{initial:Transition_3}.event // = 'e1'
  * (X) target = #{SingleState_1}
  * (X) source = #{CompositeState_0}

===== B : SingleState: SingleState_2 =====

  * ( ) name = 'B'
  * (X) isFinal = false
  * (X) isInitial = false
  * (X) owner = #{CompositeState_0}
  * (-) incoming->includesAll(#[Transition_3])
  * (X) incoming->includesAll(#[Transition_4])

===== 25913726 : Transition: Transition_3 =====

  * ( ) event = 'f'
  * ( ) target = #{SingleState_2}
  * ( ) source = #{SingleState_2}

===== C : SingleState: SingleState_3 =====

  * ( ) name = 'C'
  * (X) isFinal = false
  * (X) isInitial = false
  * (X) owner = #{CompositeState_0}
  * (X) incoming->includesAll(#[Transition_5])

===== 26298937 : Transition: Transition_4 =====

  * ( ) event = 'e'
  * (X) target = #{SingleState_2}
  * (X) source = #{SingleState_3}

===== 27259737 : SingleState: SingleState_4 =====

  * ( ) name = null
  * (X) isFinal = false
  * (X) isInitial = true
  * (X) owner = #{CompositeState_0}
  * ( ) incoming->isEmpty()

===== 2191221 : Transition: Transition_5 =====

  * ( ) event = null
  * (X) target = #{SingleState_3}
  * (X) source = #{SingleState_4}