presto-main/src/main/java/io/prestosql/sql/planner/optimizations/StreamPropertyDerivations.java/StreamProperties/isOrdered
class StreamProperties:        public boolean isOrdered()
        {
            return ordered;
        }