sclass Rule_StringToStrings {
  S in;
  LS out;
  Set<S> vars;
}