static F1<ExecutedRule, Map> itemToMap_ExecutedRule() {
  ret func(ExecutedRule r) -> Map {
    litorderedmap(
      Output := nullIfEmpty(join("|", r.output)),
      Facts := nullIfEmpty(join("|", r.facts)),
      "New Input" := nullIfEmpty(join("|", r.newInput)),
      Rule := r.rule)
  };
}