Ada backend: generate proper Ada code when system has no states