ctrl: as yet untuned pruning heuristic