Component Diagram with latest updates, including transition operations, port-sends/primed variables, use of junction etc.