Extending XReason: Formal Explanations for Adversarial Detection