====== The test suite shall cover instantiation semantics ======

  * A preliminary test suite for automatic instantiation of composite structures is available.
  * It is used to validate the instantiation semantics covered by the CS_DefaultConstructionStrategy.
  * It contains both structure and behaviors, and it executes successfully (No asserts fail)
  * It covers instantiation of composite structures in the following cases:
    * Instantiation of values for ports and parts
    * Instantiation of links for binary, assembly/delegation, typed connectors, expressed between parts/parts, parts/partwithports, partwithports/partwithports, port/parts, parts/partwithports
    * Instantiation of topologies of values and links which accounts for lower bound multiplicities of ports, parts and connectorEnds (resulting in Empty topologies, Unconnected topologies, Array topologies or Star topologies)
    * Instantiation of default values (supports fUML ValueSpecifications, + OpaqueExpressions with a behavior)
    * Addresses instantiation with multiple levels of hierarchy

  * TODOS:
    * Review the assertions to make sure they are valid / sufficient
    * Cover typed/n-ary connectors
    * Cover untyped binary connectors
    * Cover ports typed by interfaces
    * Cover structures with inifine depth (e.g, A is composed of a : A [1] => make sure that it is detected and that parts are not infinitely instantiated)