/**
* 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);
}
