sbool eqHasGlobalID(IhasGlobalID a, IhasGlobalID b) {
  ret a == null ? b == null : eq(a.globalID(), b.globalID());
}