LR complete, not tested, ExactSingleNeighbourhood refactored