static WebRelation web_reverseRelation(WebRelation rel) {
  ret rel == null ? null : rel.a.web.relations.get(pair(rel.b, rel.a));
}