Contrastive counterfactual visual explanations with overdetermination