Statistics for FLACK: Counterexample-guided fault localization for alloy models