Algorithmic debugging was made faster by improving the structure of Execution Trees. By collapsing and projecting certain nodes, bugs can be detected more efficiently. The transformation is proven to only find real bugs and doesn't miss any detectable bugs. Real applications showed improved performance with this technique.