Fixed let handling in DeltaDebugger
Array solver supports model production.  From now on, models will contain @n terms for a numeral n for every uninterpreted sort.  Furthermore, the array model term @0 represents the array that stores at every index the default value of the value sort.