Statistics for Dash: Declarative Behavioural Modelling in Alloy