let pretty_node fmt n = PdgTypes.Node.pretty fmt n