Here is the DOT file that was modified from the previous version to correct and show left and right children better:

digraph pf_tree_after {
      xs [shape=plaintext]
      xs -> d
      d -> b [tailport=sw]
      d -> g [tailport=se]
      b -> a [tailport=sw]
      b -> c [tailport=se]
      g -> f [tailport=sw]
      g -> h [tailport=se]

      node [color=blue, fontcolor=blue]
      edge [color=blue]
      ys [shape=plaintext]
      ys -> "d'"
      "d'" -> b [tailport=sw]
      "d'" -> "g'" [tailport=se]
      "g'" -> "f'" [tailport=sw]
      "g'" -> h [tailport=se]
      "f'" -> e [tailport=sw]
}

The svg was created to replace the existing GIF version via: