Text this: Finding high posterior density phylogenies by systematically extending a directed acyclic graph