Forgot to change getGroundKernel() in ADMMReasoner.