pruning now works for very simple test cases