we should only need to simulate to prune a program