Flazinc changes

Detail print-out for cases when array is out of bounds.
Changing heuristic smallest for flatzinc.