Statistics for Debugging Relational Declarative Models with Discriminating Examples