Enable automatic generation of composed FSMs