- name compare of net names wasn't always case insensitive - tentative evaluation was sometimes continued even after a contradiction was detected because the return codes of different edge examinations were not combined correctly.