The labelrecovery.py script creates sub-labels with the prefix AEX, which represents exceptive clauses (e.g., "Unless a button is pressed ..."):
https://github.com/JulianFrattini/cira/blob/866f7f4d47adcefc2edf7123fd06dec1ceed6dbe/src/converters/sentencetolabels/labelrecovery.py#L35C54-L35C54
There is only one more use of the AEX label in a corresponding test case, but apart from that, it remains unused. The necessity of the label has to be investigated: if it is useful, add it to the list of constants. If not, remove it entirely.
The labelrecovery.py script creates sub-labels with the prefix
AEX, which represents exceptive clauses (e.g., "Unless a button is pressed ..."):https://github.com/JulianFrattini/cira/blob/866f7f4d47adcefc2edf7123fd06dec1ceed6dbe/src/converters/sentencetolabels/labelrecovery.py#L35C54-L35C54
There is only one more use of the
AEXlabel in a corresponding test case, but apart from that, it remains unused. The necessity of the label has to be investigated: if it is useful, add it to the list of constants. If not, remove it entirely.