---- Transformation KiamaRewrite_qvtp_qvtias ----
Mapping __root__
  Visiting Mapping GuardPattern
    GuardPattern has no predicates.
  Visiting Mapping BottomPattern
==============================
Output Model
==============================
Visiting MappingLoop, binding: topCS
Visiting MappingCall, calling: cTopCS_2_Top
  Mapping cTopCS_2_Top
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment topCS.ast = Top [1a0c9ec1] {
        node = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable top: Top [1a0c9ec1] {
      node = [ null ]
      }
==============================
Output Model
==============================
Visiting MappingLoop, binding: numCS
Visiting MappingCall, calling: cNumCS_2_Num
  Mapping cNumCS_2_Num
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment numCS.ast = Num [61eaa7eb] {
        height = 0
        deep = 0
        value = 0
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable num: Num [61eaa7eb] {
      height = 0
      deep = 0
      value = 0
      }
==============================
Output Model
==============================
Visiting MappingCall, calling: cNumCS_2_Num
  Mapping cNumCS_2_Num
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment numCS.ast = Num [74b66785] {
        height = 0
        deep = 0
        value = 0
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable num: Num [74b66785] {
      height = 0
      deep = 0
      value = 0
      }
==============================
Output Model
==============================
Visiting MappingCall, calling: cNumCS_2_Num
  Mapping cNumCS_2_Num
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment numCS.ast = Num [7346889f] {
        height = 0
        deep = 0
        value = 0
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable num: Num [7346889f] {
      height = 0
      deep = 0
      value = 0
      }
==============================
Output Model
==============================
Visiting MappingLoop, binding: plusCS
Visiting MappingCall, calling: cPlusCS_2_Plus
  Mapping cPlusCS_2_Plus
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment plusCS.ast = Plus [3b57f3c0] {
        height = 0
        deep = 0
        left = [ null ]
        right = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable plus: Plus [3b57f3c0] {
      height = 0
      deep = 0
      left = [ null ]
      right = [ null ]
      }
==============================
Output Model
==============================
Visiting MappingCall, calling: cPlusCS_2_Plus
  Mapping cPlusCS_2_Plus
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment plusCS.ast = Plus [b43e0b0] {
        height = 0
        deep = 0
        left = [ null ]
        right = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable plus: Plus [b43e0b0] {
      height = 0
      deep = 0
      left = [ null ]
      right = [ null ]
      }
==============================
Output Model
==============================
Visiting MappingLoop, binding: topCS
Visiting MappingCall, calling: uTop_node
  Mapping uTop_node
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment topCS.ast.oclAsType(kiamaas::Top).node = Plus [3b57f3c0] {
        height = 0
        deep = 0
        left = [ null ]
        right = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: plusCS
Visiting MappingCall, calling: uPlus_left
  Mapping uPlus_left
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment plusCS.ast.oclAsType(kiamaas::Plus).left = Plus [b43e0b0] {
        height = 0
        deep = 0
        left = [ null ]
        right = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uPlus_left
  Mapping uPlus_left
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment plusCS.ast.oclAsType(kiamaas::Plus).left = Num [74b66785] {
        height = 0
        deep = 0
        value = 0
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: plusCS
Visiting MappingCall, calling: uPlus_right
  Mapping uPlus_right
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment plusCS.ast.oclAsType(kiamaas::Plus).right = Num [7346889f] {
        height = 0
        deep = 0
        value = 0
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uPlus_right
  Mapping uPlus_right
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment plusCS.ast.oclAsType(kiamaas::Plus).right = Num [61eaa7eb] {
        height = 0
        deep = 0
        value = 0
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: numCS
Visiting MappingCall, calling: uNum_deep
  Mapping uNum_deep
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment numCS.ast.oclAsType(kiamaas::Num).deep = 1
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uNum_deep
  Mapping uNum_deep
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment numCS.ast.oclAsType(kiamaas::Num).deep = 1
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uNum_deep
  Mapping uNum_deep
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment numCS.ast.oclAsType(kiamaas::Num).deep = 1
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: plusCS
Visiting MappingCall, calling: uPlus_deep
  Mapping uPlus_deep
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment plusCS.ast.oclAsType(kiamaas::Plus).deep = 0
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uPlus_deep
  Mapping uPlus_deep
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment plusCS.ast.oclAsType(kiamaas::Plus).deep = 1
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: numCS
Visiting MappingCall, calling: uNum_height
  Mapping uNum_height
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment numCS.ast.oclAsType(kiamaas::Num).height = 0
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uNum_height
  Mapping uNum_height
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment numCS.ast.oclAsType(kiamaas::Num).height = 0
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uNum_height
  Mapping uNum_height
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment numCS.ast.oclAsType(kiamaas::Num).height = 0
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: plusCS
Visiting MappingCall, calling: uPlus_height
  Mapping uPlus_height
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment plusCS.ast.oclAsType(kiamaas::Plus).height = 1
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uPlus_height
  Mapping uPlus_height
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment plusCS.ast.oclAsType(kiamaas::Plus).height = 1
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: numCS
Visiting MappingCall, calling: uNum_value
  Mapping uNum_value
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment numCS.ast.oclAsType(kiamaas::Num).value = 4
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uNum_value
  Mapping uNum_value
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment numCS.ast.oclAsType(kiamaas::Num).value = 3
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uNum_value
  Mapping uNum_value
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment numCS.ast.oclAsType(kiamaas::Num).value = 1
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
---- Transformation End ----
---- Transformation classescs2as_qvtp_qvtias ----
Mapping __root__
  Visiting Mapping GuardPattern
    GuardPattern has no predicates.
  Visiting Mapping BottomPattern
==============================
Output Model
==============================
Visiting MappingLoop, binding: rootCS
Visiting MappingCall, calling: cRootCS_2_Root
  Mapping cRootCS_2_Root
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment rootCS.ast = Root [5b1d3bce] {
        ownedPackages = [ ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable root: Root [5b1d3bce] {
      ownedPackages = [ ]
      }
==============================
Output Model
==============================
Visiting MappingLoop, binding: packageCS
Visiting MappingCall, calling: cPackageCS_2_Package
  Mapping cPackageCS_2_Package
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment packageCS.ast = Package [50421f3c] {
        name = [ null ]
        ownedClasses = [ ]
        ownedPackages = [ ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable package: Package [50421f3c] {
      name = [ null ]
      ownedClasses = [ ]
      ownedPackages = [ ]
      }
==============================
Output Model
==============================
Visiting MappingLoop, binding: rootCS
Visiting MappingCall, calling: uRoot_ownedPackages
  Mapping uRoot_ownedPackages
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment rootCS.ast.oclAsType(classes::Root).ownedPackages = [org.eclipse.emf.ecore.impl.DynamicEObjectImpl@50421f3c (eClass: org.eclipse.emf.ecore.impl.EClassImpl@62afbe11 (name: Package) (instanceClassName: null) (abstract: false, interface: false))]
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: packageCS
Visiting MappingCall, calling: uPackage_name
  Mapping uPackage_name
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment packageCS.ast.oclAsType(classes::Package).name = P1
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: classCS
Visiting MappingCall, calling: cClassCS_2_Class
  Mapping cClassCS_2_Class
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment classCS.ast = Class [7933d049] {
        name = [ null ]
        superClass = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable class: Class [7933d049] {
      name = [ null ]
      superClass = [ null ]
      }
==============================
Output Model
==============================
Visiting MappingCall, calling: cClassCS_2_Class
  Mapping cClassCS_2_Class
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment classCS.ast = Class [38afa6c9] {
        name = [ null ]
        superClass = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable class: Class [38afa6c9] {
      name = [ null ]
      superClass = [ null ]
      }
==============================
Output Model
==============================
Visiting MappingLoop, binding: packageCS
Visiting MappingCall, calling: uPackage_ownedClasses
  Mapping uPackage_ownedClasses
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment packageCS.ast.oclAsType(classes::Package).ownedClasses = [org.eclipse.emf.ecore.impl.DynamicEObjectImpl@7933d049 (eClass: org.eclipse.emf.ecore.impl.EClassImpl@4363f37b (name: Class) (instanceClassName: null) (abstract: false, interface: false)), org.eclipse.emf.ecore.impl.DynamicEObjectImpl@38afa6c9 (eClass: org.eclipse.emf.ecore.impl.EClassImpl@4363f37b (name: Class) (instanceClassName: null) (abstract: false, interface: false))]
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: classCS
Visiting MappingCall, calling: uClass_name
  Mapping uClass_name
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment classCS.ast.oclAsType(classes::Class).name = C1
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uClass_name
  Mapping uClass_name
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment classCS.ast.oclAsType(classes::Class).name = C2
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: classCS
Visiting MappingCall, calling: uClass_superClass
  Mapping uClass_superClass
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment classCS.ast.oclAsType(classes::Class).superClass = null
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uClass_superClass
  Mapping uClass_superClass
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment classCS.ast.oclAsType(classes::Class).superClass = InvalidValue
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
---- Transformation End ----
---- Transformation Source2Target_qvtp_qvtias ----
Mapping __root__
  Visiting Mapping GuardPattern
    GuardPattern has no predicates.
  Visiting Mapping BottomPattern
==============================
Output Model
==============================
Visiting MappingLoop, binding: sRoot
Visiting MappingCall, calling: cSRoot_2_TRoot
  Mapping cSRoot_2_TRoot
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment sRoot.ast = TRoot [745f672f] {
        ownedA = [ ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable tRoot: TRoot [745f672f] {
      ownedA = [ ]
      }
==============================
Output Model
==============================
Visiting MappingLoop, binding: x
Visiting MappingCall, calling: cX_2_A1
  Mapping cX_2_A1
    Visiting Mapping GuardPattern
      Predicate isA1 is false
      GuardPattern result: false
Visiting MappingCall, calling: cX_2_A1
  Mapping cX_2_A1
    Visiting Mapping GuardPattern
      Predicate isA1 is true
      GuardPattern result: true
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment x.ast = A1 [78b995c5] {
        ownsB = [ ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable a1: A1 [78b995c5] {
      ownsB = [ ]
      }
==============================
Output Model
==============================
Visiting MappingLoop, binding: x
Visiting MappingCall, calling: cX_2_A2
  Mapping cX_2_A2
    Visiting Mapping GuardPattern
      Predicate not isA1 is true
      GuardPattern result: true
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment x.ast = A2 [4533e10b] {
        ownsC = [ ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable a2: A2 [4533e10b] {
      ownsC = [ ]
      }
==============================
Output Model
==============================
Visiting MappingCall, calling: cX_2_A2
  Mapping cX_2_A2
    Visiting Mapping GuardPattern
      Predicate not isA1 is false
      GuardPattern result: false
Visiting MappingLoop, binding: sRoot
Visiting MappingCall, calling: uTRoot_ownedA
  Mapping uTRoot_ownedA
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment sRoot.ast.oclAsType(target::TRoot).ownedA = [org.eclipse.emf.ecore.impl.DynamicEObjectImpl@78b995c5 (eClass: org.eclipse.emf.ecore.impl.EClassImpl@4f6ae561 (name: A1) (instanceClassName: null) (abstract: false, interface: false)), org.eclipse.emf.ecore.impl.DynamicEObjectImpl@4533e10b (eClass: org.eclipse.emf.ecore.impl.EClassImpl@55223246 (name: A2) (instanceClassName: null) (abstract: false, interface: false))]
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: y1
Visiting MappingCall, calling: cY1_2_B
  Mapping cY1_2_B
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment y1.ast = B [37545cba] {
        name = [ null ]
        toA1 = [ null ]
        ownsD = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable b: B [37545cba] {
      name = [ null ]
      toA1 = [ null ]
      ownsD = [ null ]
      }
==============================
Output Model
==============================
Visiting MappingCall, calling: cY1_2_B
  Mapping cY1_2_B
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment y1.ast = B [393d3b7] {
        name = [ null ]
        toA1 = [ null ]
        ownsD = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable b: B [393d3b7] {
      name = [ null ]
      toA1 = [ null ]
      ownsD = [ null ]
      }
==============================
Output Model
==============================
Visiting MappingLoop, binding: y2
Visiting MappingCall, calling: cY2_2_C
  Mapping cY2_2_C
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment y2.ast = C [47943c89] {
        name = [ null ]
        toA2 = [ null ]
        ownsD = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable c: C [47943c89] {
      name = [ null ]
      toA2 = [ null ]
      ownsD = [ null ]
      }
==============================
Output Model
==============================
Visiting MappingLoop, binding: z
Visiting MappingCall, calling: cZ_2_D_0
  Mapping cZ_2_D_0
    Visiting Mapping GuardPattern
      Predicate not toY.oclIsKindOf(source::Y1) is true
      GuardPattern result: true
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast = D [28d9c453] {
        name = [ null ]
        toC = [ null ]
        toB = [ null ]
        toA = [ null ]
        refsB = [ null ]
        refsC = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable d: D [28d9c453] {
      name = [ null ]
      toC = [ null ]
      toB = [ null ]
      toA = [ null ]
      refsB = [ null ]
      refsC = [ null ]
      }
==============================
Output Model
==============================
Visiting MappingCall, calling: cZ_2_D_0
  Mapping cZ_2_D_0
    Visiting Mapping GuardPattern
      Predicate not toY.oclIsKindOf(source::Y1) is false
      GuardPattern result: false
Visiting MappingCall, calling: cZ_2_D_0
  Mapping cZ_2_D_0
    Visiting Mapping GuardPattern
      Predicate not toY.oclIsKindOf(source::Y1) is false
      GuardPattern result: false
Visiting MappingLoop, binding: z
Visiting MappingCall, calling: cZ_2_D_1
  Mapping cZ_2_D_1
    Visiting Mapping GuardPattern
      Predicate toY.oclIsKindOf(source::Y1) is false
      GuardPattern result: false
Visiting MappingCall, calling: cZ_2_D_1
  Mapping cZ_2_D_1
    Visiting Mapping GuardPattern
      Predicate toY.oclIsKindOf(source::Y1) is true
      GuardPattern result: true
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast = D [70e83a18] {
        name = [ null ]
        toC = [ null ]
        toB = [ null ]
        toA = [ null ]
        refsB = [ null ]
        refsC = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable d: D [70e83a18] {
      name = [ null ]
      toC = [ null ]
      toB = [ null ]
      toA = [ null ]
      refsB = [ null ]
      refsC = [ null ]
      }
==============================
Output Model
==============================
Visiting MappingCall, calling: cZ_2_D_1
  Mapping cZ_2_D_1
    Visiting Mapping GuardPattern
      Predicate toY.oclIsKindOf(source::Y1) is true
      GuardPattern result: true
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast = D [1e3e3791] {
        name = [ null ]
        toC = [ null ]
        toB = [ null ]
        toA = [ null ]
        refsB = [ null ]
        refsC = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
    RealizedVariable d: D [1e3e3791] {
      name = [ null ]
      toC = [ null ]
      toB = [ null ]
      toA = [ null ]
      refsB = [ null ]
      refsC = [ null ]
      }
==============================
Output Model
==============================
Visiting MappingLoop, binding: x
Visiting MappingCall, calling: uA1_ownsB
  Mapping uA1_ownsB
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment x.ast.oclAsType(target::A1).ownsB = InvalidValue
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uA1_ownsB
  Mapping uA1_ownsB
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment x.ast.oclAsType(target::A1).ownsB = [org.eclipse.emf.ecore.impl.DynamicEObjectImpl@37545cba (eClass: org.eclipse.emf.ecore.impl.EClassImpl@564bf28e (name: B) (instanceClassName: null) (abstract: false, interface: false)), org.eclipse.emf.ecore.impl.DynamicEObjectImpl@393d3b7 (eClass: org.eclipse.emf.ecore.impl.EClassImpl@564bf28e (name: B) (instanceClassName: null) (abstract: false, interface: false))]
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: x
Visiting MappingCall, calling: uA2_ownsC
  Mapping uA2_ownsC
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment x.ast.oclAsType(target::A2).ownsC = [org.eclipse.emf.ecore.impl.DynamicEObjectImpl@47943c89 (eClass: org.eclipse.emf.ecore.impl.EClassImpl@701c8bc2 (name: C) (instanceClassName: null) (abstract: false, interface: false))]
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uA2_ownsC
  Mapping uA2_ownsC
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment x.ast.oclAsType(target::A2).ownsC = InvalidValue
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: y1
Visiting MappingCall, calling: uB_ownsD
  Mapping uB_ownsD
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment y1.ast.oclAsType(target::B).ownsD = D [70e83a18] {
        name = [ null ]
        toC = [ null ]
        toB = [ null ]
        toA = [ null ]
        refsB = [ null ]
        refsC = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uB_ownsD
  Mapping uB_ownsD
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment y1.ast.oclAsType(target::B).ownsD = D [1e3e3791] {
        name = [ null ]
        toC = [ null ]
        toB = [ null ]
        toA = [ null ]
        refsB = [ null ]
        refsC = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: y1
Visiting MappingCall, calling: uB_name
  Mapping uB_name
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment y1.ast.oclAsType(target::B).name = Y1-a
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uB_name
  Mapping uB_name
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment y1.ast.oclAsType(target::B).name = Y1-b
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: y2
Visiting MappingCall, calling: uC_ownsD
  Mapping uC_ownsD
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment y2.ast.oclAsType(target::C).ownsD = D [28d9c453] {
        name = [ null ]
        toC = [ null ]
        toB = [ null ]
        toA = [ null ]
        refsB = [ null ]
        refsC = [ null ]
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: z
Visiting MappingCall, calling: uD_1_refsB
  Mapping uD_1_refsB
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).refsB = InvalidValue
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uD_1_refsB
  Mapping uD_1_refsB
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).refsB = InvalidValue
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uD_1_refsB
  Mapping uD_1_refsB
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).refsB = InvalidValue
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: y2
Visiting MappingCall, calling: uC_name
  Mapping uC_name
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment y2.ast.oclAsType(target::C).name = Y2-a
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: z
Visiting MappingCall, calling: uD_0_refsC
  Mapping uD_0_refsC
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).refsC = InvalidValue
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uD_0_refsC
  Mapping uD_0_refsC
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).refsC = InvalidValue
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uD_0_refsC
  Mapping uD_0_refsC
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).refsC = InvalidValue
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: z
Visiting MappingCall, calling: uD_0_toA
  Mapping uD_0_toA
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).toA = A2 [4533e10b] {
        ownsC = [C] x 1
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uD_0_toA
  Mapping uD_0_toA
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).toA = InvalidValue
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uD_0_toA
  Mapping uD_0_toA
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).toA = InvalidValue
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: z
Visiting MappingCall, calling: uD_1_toA
  Mapping uD_1_toA
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).toA = InvalidValue
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uD_1_toA
  Mapping uD_1_toA
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).toA = A1 [78b995c5] {
        ownsB = [B] x 2
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uD_1_toA
  Mapping uD_1_toA
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).toA = A1 [78b995c5] {
        ownsB = [B] x 2
        }
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: z
Visiting MappingCall, calling: uD_0_name
  Mapping uD_0_name
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).name = 
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uD_0_name
  Mapping uD_0_name
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).name = 
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uD_0_name
  Mapping uD_0_name
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).name = Y1-a
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingLoop, binding: z
Visiting MappingCall, calling: uD_1_name
  Mapping uD_1_name
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).name = 
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uD_1_name
  Mapping uD_1_name
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).name = 
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
Visiting MappingCall, calling: uD_1_name
  Mapping uD_1_name
    Visiting Mapping GuardPattern
      GuardPattern has no predicates.
    CoreDomain rightAS
      Visiting CoreDomain GuardPattern
        GuardPattern has no predicates.
      Visiting CoreDomain BottomPattern
    Visiting Mapping BottomPattern
      VisitMiddlePropertyAssignment z.ast.oclAsType(target::D).name = Y1-a
    RealizedVariables for CoreDomain leftCS
    RealizedVariables for CoreDomain rightAS
==============================
Output Model
==============================
---- Transformation End ----