Warning: session_start(): open(/var/lib/php/sessions/sess_tqbtbcf109pmf4048pv4689nkk, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
svoid gazelle_changeInTypesForRulesWithMultipleInputs(RuleEngine2 e) { for (RuleEngine2.Rule r : e.rules) { int i = 0; while (i < l(r.insWithType) && eq(r.insWithType.get(i).type, 'standard)) ++i; if (i > 1) { reverseInPlace(subList(r.insWithType, 0, i)); for (int j = 1; j < i; j++) r.insWithType.get(j).type = "history-" + (j+1); } } }