static LS emittedFacts(Runnable r) {
  L l = getEmits(r);
  new LS out;
  for (O o : l)
    if (o cast Pair)
      if (eq(o.a, 'fact))
        out.add((S) o.b);
  ret out;
}