fixed a problem with neighbors on the abstraction reaching the sink and extended the test case correspondingly