<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_3ac112g5p1ugmath8rv580dnoi, 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 />
static Exp nlLogic_transformShallow(Exp e, F1<Exp> f) {
  if (e == null) null;
  if (e cast And)
    ret And(callF(f, e.a), callF(f, e.b));
  if (e cast ExpNot)
    ret ExpNot(callF(f, e.a));
  ret callF(f, e);
}

static Exp nlLogic_transformShallow(IfThen rule, F1<Exp> f) {
  if (rule == null) null;
  rule = (IfThen) shallowClone(rule);
  rule.in = nlLogic_transformShallow(rule.in, f);
  rule.out = nlLogic_transformShallow(rule.out, f);
  ret rule;
}