Refactoring towards iterative parallel pool adjacent violators