Additional alphabet specification for synthesis
Also for synthesis, add the option to specify the uncontrolled alphabet. If the uncontrolled alphabet is specified, check that it is disjoint from the controllable one and that the alphabet of the plant is equal to the union of the controlled and uncontrolled alphabet.\