Ada backend - added support for systems without signals
Ada backend: generate proper Ada code when system has no states