svoid too_flexMatchRulesToTransformInput(TransformersOnObjects too) {
  too.addTransformer(func(BasicLogicRule<S> r) {
    if (containsDollarVars(r.lhs))
      too.addTransformer(func(IInput i) {
        S s = cast i!;
        for (SS map : flexMatchDollarVarsIC_all(r.lhs, s))
          too.add(TransformedInput(replaceVars(r.rhs, map)));
        null;
      });
    null;
  });
}