high

high is the BinaryDecisionDiagram that leads to a 1-terminal (a true terminal), i.e. the sub-diagram to follow when value is assigned true.