HIGHEST : INFOHIGHEST is a flag setting or other piece of information.
A setting for DEFAULT-OB.
The default next obligation in mtree is found by breadth-first search
of the obligation tree.
A setting for MT-DEFAULT-OB-MATE
When applying ADD-CONN to an mtree, choose the default obligation by
choosing the obligation which lies highest (i.e. nearest to the
root, but not the root itself).
TPS documentation homepage