debugging gjk