1. A method implemented with a processor, comprising: identifying a test to analyze; creating a graph representation of the test; identifying one or more portions of the graph to prune to create a reduced test; analyzing the reduced test to generate analysis results; and displaying the analysis results on a display device or storing the analysis results on a computer readable medium.