Statistics for From operational to declarative specifications using a genetic algorithm