<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_vjfq7b64ipeskbmhbs88tvrrod, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

cprint {
  transient new AllOnAll<F1, O> allOnAll;
  transient new Set bs;

  void addB(O b) {
    if (addIfNotNull(bs, b))
      allOnAll.addB(b);
  }
  
  start-thread {
    // not sure how to integrate this into the program
    // ProbabilisticMachine2<State> pm;

    AllOnAllOperation<F1, O> op = new(allOnAll,
      (a, b) -> {
        if (callableOn_nonSynthetic(a, "get", b))
          addB(callFOpt(a, b));
      });

    allOnAll.addB(parseBasicLogicRule(
      [[Cutting Budgets on Important Emergency Vehicle Bridges
      => Cutting Budgets on {Important Emergency Vehicle Bridges}]]));

    allOnAll.addA(func(BasicLogicRule rule) -> S { toStringOpt(rule.rhs) });
    allOnAll.addA(func(S s) -> S { replaceCurlyBracedWithStars(s) });
    
    stepAllWithStats(op);

    pnl(allOnAll.getBs());
  }
}