added random enumeration of values and kodkod preferences to animation command