helper def: flattenLanes() : Collection(String) = 
EPK!Participant.allInstances() ->collect(e | e.id)->asSet() ->collect(e | EPK!Participant.allInstances()->select(f | f.id = e)->first());


--Rule 4 Role2Lane
rule Role2Lane {
	from
		d : EPK!Participant (thisModule.flattenLanes()->includes(d)) 
	to
		a : BPMN!LaneSet
		(
		name <- 'ABC Bank',
		--id <- d.name,
		lane <- lan 
		),
		lan : BPMN!LaneE (	
		 id <- d.name
		)
}