/** * Test if an instance can be kept as a counter-instance, if a new literal is added to this body. * * @param instance The instance to test. * @param newLit The new literal. * @return True if the instance is still a counter-instance (if the new literal satisfies the * instance). */ public boolean canKeep(Instance instance, Literal newLit) { return newLit.satisfies(instance); }