little refactoring to speed-up analysis for non-pruning algorithms