Bugfix in Cokernel

and new testfiles