Further bug fixes. Was generating init actions wrongly. When a nested state machine had a initial node, it would be treated as elaborating Init, however it could not