static LPairS philosophyBot1_allSimplifications_gen(virtual PhilosophyBot1 bot) {
  new LPairS out;
  for (WithTrail<S> fact : (L<WithTrail<S>>) shallowImportAll((Iterable) rcall deducedFactsWithTrails(bot))) {
    Map map = optCast Map(fact.trail);
    S op = optCast S(mapGet(map, "op"));
    if (eq(op, "gazelle_deepTransform_withTrail"))
      out.add(pair((S) map.get("input"), fact!);
  }
  ret out;
}