Experimental results
Experimentally evaluated with a number of analyses
Similar results as functional reversal when all possible queries are raised - can terminate early ? better results
Restriction - finite subset lattice
Later work: labeled exploded supergraph [Sagiv, Reps, Horwitz, TCS’96]
- improved the class of problems handled - finite height lattice