Two safeties of the same spec type with a connective are now considered a safety
Fix LTL translation of sentnces over empty groups and one-item groups, enable multiple _add_to actions in a single sentence