Add execution ref lineage (#488)

* Add executionReference to Lineage

* Add lineage post-condition

src/main/rosetta/model-cdm-event-functions.rosetta

@@ -465,7 +465,10 @@ func Settle: <"Function specification to create the Transfer event based on an e
 			and transferEvent -> primitive -> transfer -> commodityTransfer is absent
 		else 
 			True;
-
+
+	post-condition:
+        transferEvent -> lineage -> executionReference = execution;
+
 	post-condition:
 		transferEvent -> primitive -> transfer -> status = TransferStatusEnum.Settled;
 

src/main/rosetta/model-cdm-event.rosetta

@@ -432,6 +432,8 @@ class Lineage <"A class to provide lineage information across lifecycle events t
 		[synonym Rosetta_Workbench value contractReference meta href]
 	eventReference Event (0..*) reference <"The reference to the instantiation of an Event object, either through a rosettaKey or an xml-derived id/href mechanism. The definition associated to the Lineage class provides more details with respect to those referencing approaches, their expected usage and available implementation.">;
 		[synonym Rosetta_Workbench value eventReference meta href]
+	executionReference Execution (0..*) reference <"The reference to the instantiation of a Execution object. The definition associated to the Lineage class provides more details with respect to those referencing approaches, their expected usage and available implementation.">;
+		[synonym Rosetta_Workbench value executionReference meta href]
 	cashflowReference Cashflow (0..*) reference <"The reference to the instantiation of a Cashflow payout component object. An expected typical usage is to provide lineage for the payment of, say, the option premium or the swap initial fee. The definition associated to the Lineage class provides more details with respect to those referencing approaches, their expected usage and available implementation.">;
 		[synonym Rosetta_Workbench value cashflowReference meta href] 
 	creditDefaultPayoutReference CreditDefaultPayout (0..*) reference <"The reference to the instantiation of a CreditdefaultPayout component object. The definition associated to the Lineage class provides more details with respect to those referencing approaches, their expected usage and available implementation.">;