automatic conversion of non-standard specifications to GR(1) format #4
Description
For instance, be able to recognize [](A -> <>B) and convert it to an equivalent specification, possibly adding extra required "flag" variables. The conversion process should be automatic with details largely hidden from the user, unless verbose output is requested.