presto-main/src/main/java/io/prestosql/sql/planner/planprinter/IoPlanPrinter.java/IoPlanPrinter/getHigh
class IoPlanPrinter:        @JsonProperty
        public FormattedMarker getHigh()
        {
            return high;
        }