Event-based synthesis tool should warn about synthesizing specifications without requirements

In #544 (closed) 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.