<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_o6k763718548mrohrmn9864slo, 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 Web web_ifThen(Web inputWeb, Web web) {
  Web patternWeb, Map<WebNode> patternMap = unpair cloneWebWithMap(web);
  web_dropRelationsStartingWith(patternWeb, "Then:");
  
  Web thenWeb, Map<WebNode> thenMap = unpair cloneWebWithReverseMap(web);
  web_unpackRelationsStartingWith(thenWeb, "Then:");
  
  Map<WebNode> match = web_matchAllPerms_partial(patternWeb, inputWeb);
  
  if (match != null) {
    // Then add relations from thenWeb
    for (WebRelation rel : web_relationObjects(thenWeb)) {
      WebNode a = mapGet(match, mapGet(patternMap, mapGet(thenMap, rel.a));
      WebNode b = mapGet(match, mapGet(patternMap, mapGet(thenMap, rel.b));
      if (a != null && b != null) {
        WebRelation rel2 = inputWeb.getRelation(a, b);
        web_addLabelsFromNodeToNode(rel, rel2);
      }
    }
  }
}