fixed mistake in graph. having infinite loop now....
fixed little mistake in building Set<Long> edgesWithoutK
all test working. howefer I dont know, whether our 3 positive tests are strong enough!