Two sets of FRET requirements

[podhrmic]

In the specs directory there are two sets of serialized FRET requirements.
The README indicates that RTS_requirements.json are the correct requirements

What about requirements.json? Are those obsolete?

Also, it is unclear how to run the realizability check - requirements_vars.json contains variables matching requirements.json (and NOT RTS_requirements.json), but when I try to load requirements.json and requirements_vars.json into FRET, the variables are not loaded.

Is this a FRET bug, a requirements bug, or a user error?

[podhrmic]

Actually, this might be caused by using a different version of FRET than the one used for creating those json files.