update ETL.crml library with 'dot' operator --> would be easier to verif checkOver behavior for the cooling system and traffic light examples.
update ETL.crml library with 'dot' operator --> would be easier to verif checkOver behavior for the cooling system and traffic light examples.