Construct a transformation that refines an Arrow in the source model to an Arrow-Square-Arrow combination in the target model. Source and Target of the source Arrow should be linked to the new combination in the expected order.

Type: Refinement
