In #544 we changed the tool to allow synthesis of specifications without requirements. However, that is still a smell, as the user may have made a mistake. It would be good to produce a warning about it.