The next button in the lower toolbar invokes the PDG Browser. The PDG Browser allows the user to navigate the program dependence graph - the main data structure produced by the slicer. Several facilities are provided in the PDG Browser that aid in the selection of abstractions.