testing out support for ab-pruning on trap level