hoffman: makeOrderedLeafList