Statistics for An evolutionary approach to translating operational specifications into declarative specifications