// a rule that has a string as LHS and multiple strings as RHS,
// plus an optional list of variables (usually a ciSet)
srecord Rule_StringToStrings(S in, LS out, Set<S> vars) {
  *(S *in, LS *out) {}
}