<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_0sa7kt937oncpmddr3b3a8sbh2, 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

/*sclass AppliedRules {
  new Set<Pair<O, L>> appliedRules; // rule + arguments
}*/

p-exp {
  S input = [[input contains $a && $a sounds like $b => ProposeInnerRewrite($a, $b)]];
  
  new LinkedHashSet<LS> propositions;
  propositions.add(tok_groupRoundBrackets(input));
  LS ops = map unquote(generalDefinition_rev("a binary operator"));
  printStruct(ops);
  while licensed {
    for (LS tok : cloneList(propositions))
      for (S op : ops) {
        L<S> tokOp = javaTok(op);
        L<Int> l = jfindAll(tok, tokOp(op));
        for (int i : l) {
          L<S> newTok = ll(
            trimJoinSubList(tok, 0, i-1),
            op,
            trimJoinSubList(tok, i+l(tokOp)-2));
          if (propositions.add(newTok))
            print(op + " => " + sfu(newTok));
        }
      }
  }
}