bugfix : in InitializationProperties, the case of a transition without
condition is now fixed.