<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_1rmjmpouqtdi6od29sqjpmbeqp, 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 />
sO ai_lhsToForWhere(BasicLogicRule rule, DeepZipTools tools) {
  ret ai_lhsToForWhere(rule, null);
}

sO ai_lhsToForWhere(BasicLogicRule rule, Set knownVars, DeepZipTools tools) {
  rule = (BasicLogicRule) ai_fragmentExpressionsToFunctionCalls(rule, tools);
  if (!(rule.lhs instanceof FunctionCall)) ret rule;
  FunctionCall fc = (FunctionCall) rule.lhs;
  if (l(fc.args) != 1) ret rule;
  O var = first(fc.args);
  if (!tools.isVar(var) || contains(knownVars, var)) ret rule;
  ret ForWhere(var, rule.lhs, rule.rhs);
}